I am a postdoctoral researcher at the AI Lab of Vrije Universiteit Brussel (VUB). My research focuses on artificial intelligence and formal verification. Specifically, I work on theoretical aspects of reinforcement learning (RL), representation learning in RL, model-checking and synthesis of stochastic systems, and decision-making under uncertainty and partial observability. The end goal of my research is to provide end-users with reliable AI mechanisms.
Before, I did a joint PhD within the VUB and the University of Antwerp under the supervision of Ann Nowé and Guillermo A. Pérez. My thesis focused on enabling the formal verification of deep RL policies (you can find the dissertation here).