Diana Fischer

Address

Mathematische Grundlagen der Informatik
RWTH Aachen
D-52056 Aachen
Phone:   +49-241-80-21715
Fax:   +49-241-80-22215
Room:   4119 (E1) / Ahornstr. 55
Email:   fischer [AT] logic.rwth-aachen.de

Research

I am a member of the DFG Research Training Group AlgoSyn.

My research interests lie in the field of game theory and its application to logic and verification.
I am particularly interested in the theory of quantitative systems.

Activities

  • Programme Coordinator of the ESF Research Networking Programme GAMES

Recent Publications

  • D. Fischer, E. Grädel, and Ł. Kaiser. Model Checking Games for the Quantitative $\mu$-Calculus. Theory of Computing Systems, 2009.
  • D. Fischer, E. Grädel, and Ł. Kaiser. Model Checking Games for the Quantitative $\mu$-Calculus. In Proceedings of the 25th International Symposium on Theoretical Aspects of Computer Science, STACS 2008 (S. Albers and P. Weil, Eds.), pp. 301–312, 2008.

All publications