I am a software engineer working at Axivion, were we develop analysis tools used to stop software erosion.
Formerly, I used to be a research fellow at both Clavis, the institute for information security of the Niederrhein University of Applied Sciences, and the software engineering and programming languages department at the University of Düsseldorf. My research was concerned with formal software verification, with a focus on symbolic model checking techniques for high-level languages.
My scientific publications can be found on the publication list, on Google Scholar and dblp. The script on artificial intelligence my students and I wrote can be found on its webpage. Furthermore, my GitHub profile contains different software projects.
Dr. rer. nat. in Computer Science, 2017
M. Sc. in Computer Science, 2012
B. Sc. in Mathematics and Applied Fields, 2012
B. Sc. in Computer Science, 2010