I am professor of formal methods in computer science at the University of Applied Science Munich HM.

My main interests include:

Before becoming a professor in Munich I worked at KUKA, University of Augsburg, Otto-von-Guericke University Magdeburg, Inria Rhône-Alpes in Grenoble, Systerel in Aix-en-Provence, diffblue in Oxford and Input/Output Hong Kong.