PhD student advised by Prof. Jaco van de Pol researching optimisation of algorithms and datastructures for model verification and synthesis of Multi-agent Games.

My research focuses on both theoretical insights on the underlying theory of model verification and algorithmic game theory, but also the development of new techniques and optimisations for model checking and synthesis of Multi-agent systems.

Teaching

I have been a Teaching Assistant in Computability and Logic (Spring of 2020) under Prof. Jaco van de Pol, in Foundations of Algorithms and Datastructures (Fall of 2017) under Assoc. Prof. Kasper Green Larsen, and in Regularity and Automata (Spring of 2017) under Prof. Anders Møller.

Publications