Currently I am enrolled in the master program computing science at Radboud university. My interests include formal verification and learning of probabilistic systems such as Markov chains and Markov decision processes, model checking, convex optimization, robust optimization, SAT/SMT and algorithms in general.

My bachelor thesis was about using robust geometric programming to find schedulers for uncertain Markov decision processes that satisfy one or more reachability and/or expected cost properties.

In my spare time I enjoy playing and talking about video games, reading, and watching movies.

You can reach me at


Bachelor thesis:
PDF M. R. Suilen, Reachability properties for uncertain Markov decision processes, 2018, Radboud University Nijmegen.


As a teaching assistant:
Algorithms and Datastructures 2018/2019.