Welcome
Institut für Theoretische Informatik, Mathematik
und Operations Research
Professoren:
-
Prof. Dr. Cornelius Greither
Professur für Mathematik
-
Prof. Dr. Peter Hertling
Professur für Verifikation von Hard- und Software / Spezifikationsmethoden
/ Komplexitätstheorie
-
Prof. Dr. Manfred Mayer
Honorarprofessor
-
PD Dr. Karl-Heinz Niggl
Professur für Theoretische Informatik und Mathematische Logik
Ehemalige Professoren:
-
Prof. Dr. Ulf Schmerl
Professur für Theoretische Informatik und Mathematische Logik
