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.
Download my resumé.
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