Michaela Slaats

Michaela

Kontakt

Anschrift RWTH Aachen, Lehrstuhl für Informatik 7, 52056 Aachen
Büro Raum 4108a, 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 war ein Mitglied von Wolfgang Thomas' Forschungsgruppe "Logik und Theorie diskreter Systeme" an der RWTH Aachen und Stipendiatin 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 2010/2011
Seminar über Automatentheorie
Sommersemester 2010
Seminar über Automatentheorie
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