- Site: Toulouse
- Group: automata and applications
Short Bio
I am an Associate Teacher at EPITA Toulouse, currently in charge of the classes regarding model-checking and formal verification.
Research
My research is in the areas of Time Petri Nets, its verification and applications. I’m also interested in requirements engineering and models in general.
Miscellaneous:
I am a former Yu-Gi-Oh! pro-player and took part in the 2023 European championship.