From 2004 to 2011, I was employed in the project AVACS, Automatic Verification and Analysis of Complex Systems. I was a member of the Research Group on the Foundations of Artificial Intelligence led by Prof. Dr. Bernhard Nebel.
I obtained my Habilitation in July 2009.
My current research interests focus on applications of interactive theorem proving to model checking algorithms, programming language semantics, and game theory. Another research area of mine is timed and hybrid systems. Until around 2004, my research has mainly been concerned with logic programming. More…
In July 2010 I received the 2010 Faculty Teaching Award for my lecture "Computer Supported Modeling and Reasoning". The award is endowed with prize money of 2000 euros.
In the first semester of 2011/12 I held lectures (cours/TD) on
I am one of the grant holders of the project Computer-assisted checking of schedulability and resource access of concurrent Java using timed automata funded by EADS. The project will start in 2012.
I was one of the grant holders of the CAVA project before my move to Toulouse and I am still closely associated with this project.
I am currently supervising the PhD project of Alexander Schimpf.
I was co-organiser of the MoChArt 2010 workshop.
I was the publicity chair of the International Conference on Logic Programming 2003 (ICLP'03).