About Me

I am a computer scientist working as 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, a 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, a research-oriented company in the domain of distributed ledger technologies and creator of the Cardano (ADA) cryptocurrency.

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 PhD thesis publications github LinkedIn


one of the addresses in this file (openPGP)