I am a PhD student at LAAS-CNRS, in Toulouse. My research interests include model checking, Petri nets and SMT solving. I am currently working on new methods for taking advantage of Petri net reductions in combination with a SMT-based model-checker.
I am the PhD student representative of the Verification of Time Critical Systems (VERTICS) group, which develops new verification methods and tools for checking properties of critical systems.
Download my resumé (outdated).
PhD in Model Checking, 2020 - Present
LAAS-CNRS - Toulouse, FRANCE
MoSIG - HECS, Master of Science, 2020 - 2019
Univ. Grenoble Alpes - Grenoble, FRANCE
Engineering Degree, 2020 - 2017
ENSIMAG - Grenoble, FRANCE