Examination Boards and Commissions
Course coordinator for Quality Management
Prof. Dr. Markus Krötzsch
Programme Coordinator (Student)
Antonia Obersteiner
Examination Board for the International MSc Program in Computational Logic
Chairperson: Prof. Dr. Christel Baier
Deputy Chairperson: Prof. Dr.-Ing. Franz Baader
Members:
Prof. Dr. rer. nat. Sebastian Rudolph
Dr.-Ing. Stefan Borgwardt
Antonia Obersteiner (student)
Helene Hausmann (student, stand-in)
Study Commission for the International MSc Program in Computational Logic
Chairperson: Prof. Dr.-Ing. Jeronimo Castrillón Mazo
Members:
Prof. Dr. Markus Krötzsch
Antonia Obersteiner (student)
Helene Hausmann (student, stand-in)
Admission Commission for the International MSc Program in Computational Logic
Chairperson: Prof. Dr. Markus Krötzsch
Members:
Prof. Dr.-Ing. Franz Baader
Prof. Dr. rer. nat. Sebastian Rudolph
Fabian Naumann (student)