I am a research fellow at Clavis, the competence centre for information security of the Niederrhein University of Applied Sciences. Mostly, I am concerned with formal software verification and network security.
Formerly, I worked in the software engineering and programming languages department at the University of Düsseldorf. My research there was (and still is!) centered around symbolic model checking techniques for high-level languages. Development took place in the constraint solver and model checker ProB.
My recent publications can be found on the publication list, as well as on Google Scholar and dblp. The script on artificial intelligence I wrote with several of my students can be found on its webpage. Furthermore, I maintain several plugins for the Atom editor which can be found in the package registry. Other software can be found on my GitHub profile.
PhD in Computer Science, 2017
M.Sc. in Computer Science, 2012
B.Sc. in Mathematics, 2012
B.Sc. in Computer Science, 2010