Diana Fischer

Adresse

Mathematische Grundlagen der Informatik
RWTH Aachen
D-52056 Aachen
Telefon:   +49-241-80-21715
Fax:   +49-241-80-22215
Büro:   4119 (E1) / Ahornstr. 55
E-Mail:   fischer [AT] logic.rwth-aachen.de

Forschung

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

Aktuelle Publikationen

  • 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.

Alle Publikationen