Ausschüsse und Kommissionen für den Masterstudiengang Computational Logic
Studiengangskoordinatoren für Qualitätsmanagement
Studiengangskoordinator (Hochschullehrer)
Prof. Dr. Markus Krötzsch
Studiengangskoordinator (Studierende)
Anton Obersteiner
Prüfungsausschuss für den Masterstudiengang Computational Logic
Vorsitzende: Prof. Dr. Christel Baier
Stellv. Vorsitzender: Prof. Dr.-Ing. Franz Baader
Mitglieder:
Prof. Dr. rer. nat. Sebastian Rudolph
Dr.-Ing. Stefan Borgwardt
Anton Obersteiner (Studierende)
Helene Hausmann (Studierender, Vertretung)
Studienkommission für den Masterstudiengang Computational Logic
Vorsitzender: Prof. Dr. Akash Kumar
Mitglieder:
Prof. Dr. Markus Krötzsch
Anton Obersteiner (Studierende:r)
Helene Hausmann (Studierende:r, Vertretung)
Eignungsfeststellungausschuss für den Masterstudiengang Computational Logic
Vorsitzender: Prof. Dr. Markus Krötzsch
Mitglieder:
Prof. Dr.-Ing. Franz Baader
Prof. Dr. rer. nat. Sebastian Rudolph
Fabian Naumann (Studierende)