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 concerns investigating how symmetry reduction can be effectively used in the theory of model checking. This is done in the setting of the mCRL2 toolset.
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, Symmetry Detection, Model Checking, Group Theory, Parametrised Boolean Equation Systems, Automata Theory, Category Theory.
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.
I have participated as an instructor for the following courses (at TU/e):
I have given the following lectures (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.