Universität der Bundeswehr München
Professur für Verifikation von Hard- und Software / Spezifikationsmethoden / Komplexitätstheorie