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. I am now working 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.

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.

Links

DBLP Google Scholar PhD thesis publications github LinkedIn

Contact

one of the addresses in this file (openPGP)