I am currently PhD student at ULB in the formal methods and verification team supervised by Emmanuel Filiot and Jean-François Raskin. My work is funded by the competitive individual 4 year grant FNRS-FRIA and focuses on decidable and efficient formalisms for quantitative verification.
Keywords: counter machines, computational complexity, decidable logics, formal methods, game theory, model-checking, Presburger arithmetic, quantitative languages, system verification, transducers, weighted automata.
Publications - DBLP
I'm a teaching assistant of some courses.
For further information, don't hesitate to contact me by email.