Welcome to my personal website!

I am currently employed as a scientific programmer at the Eindhoven University of Technology, within the Formal System Analysis (FSA) group of the Department of Mathematics and Computer Science.

My main responsibility is the maintenance and development of new algorithms for our long-running model checking tool called mCRL2. Furthermore, I am supporting my colleagues with the implementation of their theoretical research and preparation of artifacts. Occasionally, I am also involved in the research itself.

As part of this employment I am actively involved in several research and industrial projects:

• STORM_SAFE.
• Future Network Services with industrial partner CORDIS Automation Bv.
• Cynergie4Mie.

Occasionally I am also involved in teaching activities, such as supervising (master) students and working as teaching assistant for the Software Specification course.

My full CV can be found here.

Interests

My main interests are in the field of formal methods, and the design and implementation of practical algorithms. However, I also believe that proper software engineering

Our mCRL2 toolset is written in C++, which is my main expertise, but I am also exploring the potential of the Rust programming language for developing safe and performant software. In particular, I am interested in the formal verification of concrete Rust programs. Details about this can be found on the MERC project page, of which I am the main developer.

Previous work

In 2022 I successfully defended my PhD thesis called "Accelerated Verification of Concurrent Systems" with prof.dr.ir. Tim A.C. Willemse and prof.dr.ir. Jan Friso Groote. The thesis can be found here. This research was funded as part of a Dutch Research Council (NWO) TOP C1 grant program under project number 612.001.751 (Accelerated Verification and Verified Acceleration) together with colleagues dr. Jan Martens and dr. Tom Franken.