I am a PhD student supervised by Ann Nowé and Guillermo A. Pérez (University of Antwerpen). My research interests lie in the fields of artificial intelligence and formal verification. They include (safe) reinforcement learning, multi-agent systems, model-checking and synthesis of stochastic systems, and planning under uncertainty and partial observability. My end goal is to provide end-users with reliable AI mechanisms.
My PhD focuses on the formal verification of single- and multi-agent policies obtained through reinforcement learning.