Martin Zimmermann

Martin

Kontakt

Anschrift RWTH Aachen, Lehrstuhl für Informatik 7, 52056 Aachen
Büro Raum 4221, Ahornstr. 55, 52074 Aachen
Telefon +49 (241) 80 21717
Telefax +49 (241) 80 22215
Email zimmermann(at)automata.rwth-aachen.de
Sprechstunde Wenn die Tür offen ist

Ich bin ein Mitglied von Wolfgang Thomas' Forschungsgruppe "Logik und Theorie diskreter Systeme" an der RWTH Aachen.
Meine Forschungsinteressen beinhalten unter anderem Automaten, formale Sprachen und die Verifikation unendlicher Systeme, insbesondere zeit-optimale Strategien für unendliche Spiele.

Lehre

Wintersemester 2009/10
Übungen zu Regular and Context-Free Languages: Advanced Results
Seminar über Automatentheorie
Softwarepraktikum Webprogrammierung und das Satzsystem LaTex
Sommersemester 2009
Seminar über Automatentheorie

Publikationen

Ausgewählte Vorträge

Parametric LTL Games: Slides
Gasics Meeting, Aachen, Deutschland, Oktober 2009
Prompt and Parametric LTL Games: Slides, Extended Abstract
Games Workshop 2009, Udine, Italien, September 2009
Time-optimal Winning Strategies for Poset Games: Slides
CIAA 2009, Sydney, Australien, Juli 2009
Time-optimal Winning Strategies in Infinite Games: Slides
Gasics Meeting, Brüssel, Belgien, März 2009