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.


  • Formal Methods
  • Model Checking
  • Constraint Solving
  • Logic Programming
  • Information Security


  • 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




A prototypical model checker focussing on reusable libraries.


Constraint Logic Programming Over Strings.

Formal Methods Accessibility

Lower barriers and learning curves to enable the usage of formal methods in mainstream industries.


Animator, constraint solver and (symbolic) model checker for the B-Method.

Prolog Language Features

Providing new features to Prolog implementations.

Teaching Formal Methods

Improving formal methods education.

Recent & Upcoming Talks

Prolog Coding Guidelines: Status and Tool Support
Towards Constraint Logic Programming over Strings for Test Data Generation
IT-Sicherheit - ist das wirklich so wichtig?
Datenschutz und IT-Sicherheit - geht es nicht auch ohne?
Informationssicherheits-Management in Kliniken