Ausschüsse und Kommissionen für den Masterstudiengang Computational Logic
Studiengangskoordinatoren für Qualitätsmanagement
Studiengangskoordinator (Hochschullehrer)
Prof. Dr. Markus Krötzsch
Studiengangskoordinator (Studierende)
Antonia 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
Antonia Obersteiner (Studierende:r)
Helene Hausmann (Studierende:r, Vertretung)
Studienkommission für den Masterstudiengang Computational Logic
Vorsitzender: Prof. Dr.-Ing. Jeronimo Castrillón Mazo
Mitglieder:
Prof. Dr. Markus Krötzsch
Antonia 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)