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).

My curriculum vitae is available here.

News

• Our paper “Composing Reinforcement Learning Policies, with Formal Guarantees” has been accepted at AAMAS 2025! Check out the dedicated blogpost.
• My PhD thesis dissertation, entitled Activating Formal Verification of Deep Reinforcement Learning Policies by Model Checking Bisimilar Latent Space Models is available here!