About Me

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

My main interests include:

• declarative languages
• functional programming
• hardware verification
• software verification
• theorem proving
• cryptography
• algorithmic mathematics
• optimization

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.