About Me

I am a professor of formal methods in computer science at the University of Applied Sciences in Munich. Before that I was working as a software and systems engineer in the area of critical systems. I studied mathematics and computer science at the University of Augsburg and received a Ph.D (German Dr.-Ing. - Doktor-Ingenieur) from the Otto-von-Guericke University in Magdeburg.

From October 2011 to April 2015 I lived in France, after one year in Grenoble at the research center Inria Rhône-Alpes, I worked at Systerel, Aix-en-Provence, where I used formal methods for software and systems engineering of critical systems. From June 2016 to September 2018 I worked as senior research engineer for Diffblue, an Oxford-based start-up that provides means to automatically generate tests for large software projects, based on modern formal analysis tools. In October 2018 I started working as formal methods software engineer for IOHK (input output Hong Kong), a research-oriented company in the domain of distributed ledger technologies and creator of the Cardano (ADA) cryptocurrency. Since March 2020 I am professor at the UAS Munich.

My interests include functional and logic programming, formal methods, optimization for program efficiency and applied mathematics. Besides this, I am also very interested in general computer security and cryptography in particular.


DBLP Google Scholar ORCID publications github LinkedIn


one of the addresses in this file (openPGP)