I am a PhD student in the AI lab of the Vrije Universiteit Brussel (VUB), under the supervision of Ann Nowé (AI Lab, VUB) and Guillermo A. Pérez (University of Antwerp). My research interests lie in the fields of artificial intelligence and formal verification. More specifically, my PhD focuses on the formal verification of single- and multi-agent policies obtained through reinforcement learning. The end goal of my research is to provide end-users with reliable AI mechanisms.
PhD in Computer Science
Vrije Universiteit Brussel (VUB), 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