Since September 2009 I am working at the Computer Science and Mathematics department of Eindhoven University of Technology as PhD student and member of the section Model Driven Software Engineering (MDSE). Within the section I am part of the Design and Analysis of Systems group under the supervision of Jan Friso Groote. I am working on model checking using Parameterised Boolean Equation Systems, Boolean Equation Systems and parity games, together with Tim Willemse. I am also involved in the development of the mCRL2 toolset which is the successor of the µCRL toolset.

I am, and have been, involved in teaching several courses. Most notably as a guest lecturer in the course on Algorithms for Model Checking, and as an instructor for Automata and Process theory.

Before, I was a student at Eindhoven University (Netherlands). I completed my 5-year Computer Science and Engineering degree with honours in July 2009. My final project, An experimental study of algorithms and optimisations for parity games, with an application to Boolean Equation Systems, was supervised by Tim Willemse.