About Me

I am professor of formal methods in computer science at the University of Applied Sciences Munich (UAS Munich).

My main interests include:

  • hardware verification
  • software verification
  • functional programming
  • 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.