معرفی
Nicolas Amat is a postdoctoral researcher at the IMDEA Software Institute, specializing in theoretical computer science with a focus on model checking, Presburger arithmetic, and Petri net analysis.
- PhD in Model Checking from INSA Toulouse / LAAS-CNRS (2020-2023)
- MSc in MoSIG - HECS from Univ. Grenoble Alpes (2019-2020)
- Engineering Degree in Computer Science from ENSIMAG - Grenoble (2017-2020)
His research explores polyhedral abstraction techniques combined with SMT-based verification to solve reachability problems in Petri nets. He develops tools like SMPT, Reductron, and Octant that implement these methods.
Awarded Bronze Medals in the Model Checking Contest (2023, 2022) with 100% confidence recognition in 2022, and received the Persyval-lab Excellence Scholarship (2019). His work has been published in journals like Fundamenta Informaticae, and conferences including VMCAI, Petri Nets, and TACAS.
۰مقاله منتشرشده
