Michael Ummels

Michael Ummels

Address

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

Research

I graduated from RWTH Aachen in January 2010. Now I am a research associate at the German Aerospace Center (DLR).

Until June 2009, I was involved in the DFG Research Training Group 1298.

Extended versions of some of my papers can be found on arXiv/CoRR.

Recent Publications

All publications

Selected Talks