I have left the Institute for Artificial Intelligence and this page will no longer be maintained. For contact information see my new homepage.

At the Institute for Artificial Intelligence, I most recently held a position as Wissenschaftlicher Assistent (German for Scientific Assistant), and my field of research and teaching was formal modelling and verification.

I am interested in applying formal methods, in particular techniques of mechanical theorem proving and model checking, to model and analyse various types of systems, with a special emphasis on the fault-tolerant and safety-critical domain.

Selected Publications

See also the complete list of all publications.