I am a Postdoc researcher concerned with formal software verification as well as software and network security. My research is centered around symbolic model checking techniques for high-level languages. Development mostly takes place in the constraint solver and model checker ProB.
Currently, I am a research fellow at Clavis, the competence centre for information security of the Niederrhein University of Applied Sciences. Formerly, I was working in the software engineering and programming languages department at the University of Düsseldorf.
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
BMoth is a prototypical model checker for models written in classical B. Its focus lies on reusing existing libraries to reduce implementation effort and thus be able to serve as a testbed for novel algorithms and implementation techniques.
Despite their abilities, formal methods are not commonly used in industry and often remain of pure academic interest. This is, at least to some extend, caused by the complexity of mathematical notations and the inaccessibility of tools. In this project we aim to lower barriers and learning curves to enable the usage of formal methods in mainstream software industries, by regular developers.
ProB is an animator, constraint solver and model checker for the B-Method. In this project, we integrate symbolic model checking algorithms into ProB that work well with the high-level nature of B specifications.
Prolog as a programming language and the common Prolog interpreters lack features often available for other languages. In this project, we strive to port interesting features available for other languages to SWI and SICStus Prolog.
Schiefbahner Str. 64