Michaela Slaats

Michaela

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
Email slaats(at)automata.rwth-aachen.de
Sprechstunde Nach Vereinbarung

Ich bin ein Mitglied von Wolfgang Thomas' Forschungsgruppe "Logik und Theorie diskreter Systeme" an der RWTH Aachen und Stipendiat im DFG Graduiertenkolleg "Algorithmisch Synthese reaktiver und diskret kontinuierlicher Systeme" (AlgoSyn).
Meine Forschungsinteressen beinhalten unter anderem Automaten, formale Sprachen und die Verifikation unendlicher Systeme.

Lehre

Wintersemester 2009/2010
Proseminar Automaten, Grammatiken und ihre Anwendungen
Sommersemester 2009
Seminar über Automatentheorie
Wintersemester 2008/2009
Seminar über Automatentheorie
Sommersemester 2008
Seminar über Automatentheorie

Publikationen