Universität der Bundeswehr München
Professur für Theoretische Informatik und Mathematische Logik
Institut für Theoretische Informatik, Mathematik und Operations Research - INF 1