ECOOP and ISSTA 2021 (series) / Nicolas Amat
![Nicolas Amat](https://conf.researchr.org/getProfileImage/nicolasamat/8622f71f-05ac-420b-8847-38f517f8a21e/small.jpg?1712025658000)
Registered user since Sun 13 Jun 2021
Name:Nicolas Amat
Bio:
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.
Country:France
Affiliation:LAAS-CNRS
Personal website: http://www.laas.fr/~namat/
GitHub: https://github.com/nicolasAmat
Research interests:Model Checking, Petri Nets, SAT/SMT Solving, Interactive Theorem Proving
Contributions
ECOOP and ISSTA 2021-profile
View general profile
View general profile