My name is Menno. I am a PhD-TA candidate at the Formal System Analysis (FSA) group at the Eindhoven University of Technology(TU/e).
Currently my research is about investigating how symmetry reduction can play a role in the theory of model checking, on which mCRL2 is based.
Before my PhD at TU/e, I studied in Nijmegen at Radboud University. There I have completed my Bachelor's in Mathematics, my Bachelor's in Computing Science and my Master's in Mathematical Foundations of Computing Science.
Topics that are of interest to me include Symmetry Reduction, Equation Systems, Automata Theory, Category Theory, Testing Techniques, Model Checking,
Previously, I studied in Nijmegen at Radboud University. There I have completed my Bachelor's in Mathematics, my Bachelor's in Computing Science and my Master's in Mathematical Foundations of Computing Science.
As a PhD-TA candidate I have participated as an instructor for the following courses (at TU/e):
Throughout my studies I have been a teaching assistant for the following courses (at Radboud University):
My current research is about tackling the state space explosion problem that arises in the area of model checking. This we aim to achieve by applying a method called symmetry reduction to the state space for mCRL2 models.
In my PhD project I am being supervised by Thomas Neele and Tim Willemse
Below is a list of talks I gave up until now, see also the slides that are linked there.