Prof. Dr. Michael Kohlhase
Faculty of EngineeringDepartment of Computer Science, Chair of Knowledge Representation/Processing