Michael Holtmann

Contact

E-Mail

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

Publications

Selected Talks