Michael Holtmann
Kontakt
| Anschrift | RWTH Aachen, Lehrstuhl für Informatik 7, 52056 Aachen |
|---|---|
| Büro | Raum 4229, Ahornstr. 55, 52074 Aachen |
| Telefon | +49 (241) 80 21713 |
| Telefax | +49 (241) 80 22215 |
| Sprechstunde | nach Vereinbarung |
Ich bin ein Mitglied von Wolfgang Thomas Forschungsgruppe "Logic and Theory of Discrete Systems" an der RWTH Aachen. Meine Forschungsinteressen sind unter anderem Automaten, Formale Sprachen und die Verifikation unendlicher Systeme. Der Schwerpunkt meiner Arbeit liegt 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