Diana Fischer

Diana Fischer

Address

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

Research

I finished my PhD and left the department in April 2013.
From 2009 to 2011, I held a scholarship in the DFG Research Training Group AlgoSyn.
From January to June 2012, I visited Luke Ong at the Department of Computer Science in Oxford.

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 during its run from 2008 to 2013

Recent Publications

All publications