I am a post-doctoral 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 in 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. I am also the lecturer for the course Theory of Computation, which I teach at the VUB.
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).
Doctor of Science, Computer Science, 2024
Vrije Universiteit Brussel (VUB) and University of Antwerp, Belgium
Master in Computer Science, 2018
University of Mons (UMONS), Belgium
Bachelor in Computer Science, 2016
UMONS, Belgium
Cite Code Project DOI URL Extended Abstract Technical Report