I am professor of formal methods in computer science at the University of Applied Sciences Munich (UAS Munich).
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.