Michael Holtmann

Kontakt

E-Mail

Ich war ein Mitglied von Wolfgang Thomas Forschungsgruppe "Logik und Theorie diskreter Systeme" an der RWTH Aachen. Meine Forschungsinteressen waren unter anderem Automaten, Formale Sprachen und die Verifikation unendlicher Systeme. Der Schwerpunkt meiner Arbeit lag dabei auf der Controllersynthese reaktiver Systeme.

Lehre

Sommersemester 2007
Seminar über Automatentheorie
Wintersemester 2007/08
Proseminar Algorithmen für Transitionssysteme
Seminar über Baumautomaten
Sommersemester 2008
Seminar über Automatentheorie
Wintersemester 2008/09
Seminar über Automatentheorie
Sommersemester 2009
Seminar über Automatentheorie
Wintersemester 2009/10
Seminar über Automatentheorie
Sommersemester 2010
Seminar über Automatentheorie

Publikationen

Ausgewählte Vorträge