Michael Ummels

Mathematische Grundlagen der Informatik
RWTH Aachen
D-52056 Aachen

Telefon:	+49-241-80-21711
Fax:	+49-241-80-22215
Büro:	4114a (E1) / Ahornstr. 55
E-Mail:	ummels [AT] logic.rwth-aachen.de

Ich bin tätig als Doktorand innerhalb des DFG-Graduiertenkollegs über Algorithmische Synthese reaktiver und diskret-kontinuierlicher Systeme. Meine Forschungsinteressen liegen im Themenfeld Logik und (Mehrpersonen-) Spiele.

E. Grädel and M. Ummels. Solution Concepts and Algorithms for Infinite Multiplayer Games. In New Perspectives on Games and Interaction (K. Apt and R. van Rooij, Eds.), vol. 5 of Texts in Logic and Games. Amsterdam University Press. To appear.
M. Ummels. The Complexity of Nash Equilibria in Infinite Multiplayer Games. In Proceedings of the 11th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2008 (R. Amadio, Ed.), vol. 4962 of LNCS, pp. 20–34. Springer-Verlag, 2008.
M. Ummels. Rational Behaviour and Strategy Construction in Infinite Multiplayer Games. In Proceedings of the 26th International Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2006 (S. Arun-Kumar and N. Garg, Eds.), vol. 4337 of LNCS, pp. 212–223. Springer-Verlag, 2006.
M. Ummels. Rational Behaviour and Strategy Construction in Infinite Multiplayer Games. Diploma thesis, RWTH Aachen, 2005.