Michael Holtmann
Contact
I was a member of Wolfgang Thomas' research group for "Logic and Theory of Discrete Systems" at the RWTH Aachen. My research interests included, amongst others, automata, formal languages, and verification of infinite systems. The main focus of my work was controller synthesis for reactive systems.
Teaching
- Summer 2007
-
Seminar on Automatentheorie
- Winter 2007/08
-
Proseminar Algorithmen für Transitionssysteme
Seminar on Baumautomaten
- Summer 2008
-
Seminar on Automatentheorie
- Winter 2008/09
-
Seminar on Automatentheorie
- Summer 2009
-
Seminar on Automatentheorie
- Winter 2009/10
-
Seminar on Automatentheorie
- Summer 2010
-
Seminar on Automatentheorie