Michael Ummels

Address
Mathematische Grundlagen der InformatikRWTH Aachen
D-52056 Aachen
| Phone: | +49-241-80-21711 |
| Fax: | +49-241-80-22215 |
| Room: | 4114a (E1) / Ahornstr. 55 |
| Email: | ummels [AT] logic.rwth-aachen.de |
Research
I am a PhD student within the DFG Research Training Group on Algorithmic Synthesis of Reactive and Discrete-Continuous Systems. My research is on the interplay between logic and (multiplayer) games.
Recent Publications
- 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.
Selected Talks
- Rational Behaviour and Strategy Construction in Infinite Multiplayer Games, held at FSTTCS 2006, Kolkata, India.
- The Complexity of Nash Equilibria in Infinite Multiplayer Games, held at FOSSACS 2008, Budapest, Hungary.