Michael Holtmann
Kontakt
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