Summary
I am a PhD student at the University of Mons (UMONS) supervised by Mickael Randour and cosupervised by Xavier Siebert. My PhD thesis takes place within the TRAIL-ARIAC project and is about formal logic and learning. Before that, I obtained my master degree in Computer Science in 2021 also in the University of Mons.
Research Experience
Title: Symbolic resolution of parity and generalized parity games.
Supervisor: Véronique Bruyère (UMONS)
Projects
SPORE (Symbolic Partial sOlvers for REalizability) - A prototype symbolic implementation of partial solvers for (generalized) parity games applied to LTL realizability.