Michael Ummels

Michael Ummels

Adresse

Mathematische Grundlagen der Informatik
RWTH Aachen
D-52056 Aachen
Fax:   +49-241-80-22215
E-Mail:   ummels [AT] logic.rwth-aachen.de

Forschung

Ich habe im Januar 2010 an der RWTH Aachen promoviert. Jetzt arbeite ich als wissenschaftlicher Mitarbeiter beim Deutschen Zentrum für Luft- und Raumfahrt (DLR).

Bis Juni 2009 war ich Stipendiat des DFG-Graduiertenkollegs 1298.

Erweiterte Versionen einiger meiner Publikationen sind auf arXiv/CoRR zu finden.

Aktuelle Publikationen

Alle Publikationen

Ausgewählte Vorträge