Me and the dearest niece ever, "Amitis" :)
My thesis is a joint research between LSV at École normale supérieure de Cachan and Service des méthodes formelles et vérification at ULB. My study is funded by F.N.R.S Aspirant.
My curriculum vitae: english.
- Formal methods and verification: I'm working on game and automata theory. I'm also interested into probabilistic systems, in particular Markov Decision Processes.
- Discrete event systems: Supervisory control, diagnosability
- Group and algebraic graph theory
Recent and upcoming activities
Updated the 12/12/2014
I will start a post-doctorate position in Oxford University, in the team of Stefan Kiefer
I defended my PhD in Brusells at 16H00 the 10th of December 2014. More information about my defense can be found here. Slides and electronic versions are also available in the publications and presentations pages. Soon I will update some photos :)
I gave a talk in the Seminar for Computer Science Department, Univeristy of Oxford, on Robust Synchronization in Markov Decision Processes
I gave a talk in the Seminar 68NQRT, Rennes, on Limit Synchronization in Markov Decision Processes.
Major update of my personal webpage
I gave a talk in Grenoble at FOSSACS 2014 to present my paper on Limit Synchronization in Markov Decision Processes.
I gave a talk in CFV Meeting (Brussels).