Short Bio
I am an FNRS research associate (tenured researcher position) in the Mathematics Department and Complexys Institute in the Université de Mons (UMONS), Belgium. I work with the team of T. Brihaye. My research interests are mainly focused on game theory, formal verification and efficient and reliable controller synthesis for reactive systems.
From October 2015 to September 2017, I was an FNRS post-doctoral researcher in the Formal Methods and Verification group in the Université Libre de Bruxelles (ULB), Belgium. I was part of the team of J.-F. Raskin.
From October 2014 to September 2015, I was a post-doctoral researcher in the VASCO group at the LSV, CNRS & ENS Cachan, France, and a member of the CASSTING project. I worked with P. Bouyer-Decitre and N. Markey.
From October 2010 to September 2014, I was a research fellow of the FNRS at the Université de Mons (UMONS), Belgium. I was part of the Theoretical Computer Science team, led by V. Bruyère. I defended my PhD thesis in Computer Science in April 2014. My thesis, entitled Synthesis in Multi-Criteria Quantitative Games, was supervised by V. Bruyère (UMONS) and J.-F. Raskin (ULB).
- Curriculum Vitae (updated on November 20, 2019).