I am a PhD student at LAAS-CNRS, in France. My research interests include model-checking, SAT/SMT solving and logic methods in computer science. I am currently working on new methods for taking advantage of Petri net reductions in combination with a SMT-based model-checker.
I am also 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é.
PhD in Model Checking, 2020 - Present
LAAS-CNRS - Toulouse, FRANCE
MoSIG - HECS, Master of Science, 2019 - 2020
Univ. Grenoble Alpes - Grenoble, FRANCE
Engineering Degree, 2017 - 2020
ENSIMAG - Grenoble, FRANCE
My publications tracked by DBLP