Nicolas AMAT - Admis au titre de docteur

Adresse Professionnelle
LAAS - CNRS, Vertics, 7 avenue du colonel Roche 31400
TOULOUSE FRANCE
nicolas.amat@laas.fr
namat@laas.fr
Identifiant ORCID 0000000259697346
Identifiant Hal https://hal.archives-ouvertes.fr/search/index/?q=%2A&authIdHal_s=nicolas-amat
Compte LinkedIn https://www.linkedin.com/in/nicolas-amat-830252177/
Compte Researchgate https://www.researchgate.net/profile/Nicolas-Amat

Projet professionnel :

enseignant-chercheur, enseignant du supérieur
chercheur en milieu académique
chercheur en entreprise, R&D du secteur privé

Techniques maîtrisées :
Méthodes formelles, Model-Checking, Réseaux de Petri, Résolution SAT/SMT, Logique, Preuve Assistée par Ordinateur (Isabelle/HOL)

Expérience professionnelle :
CDD du 1 novembre 2023 au 31 octobre 2026
Domaine d'activité : Recherche en informatique théorique
Type de contrat : Insertion dans un pays autre que son pays d’origine : contrat post-doctoral, poste dans le secteur public ou privé du pays
Fonction exercée : Postdoctoral researcher
Secteur d'emploi : Activités informatiques
Unité de recherche ou entreprise : IMDEA Software Institute
Madrid - ESPAGNE

Doctorat Informatique et Télécommunications

Thèse soutenue le 4 décembre 2023 - Institut National des Sciences Appliquées de Toulouse

Ecole doctorale : EDMITT - Ecole Doctorale Mathématiques, Informatique et Télécommunications de Toulouse

Sujet : Un cadre polyédrique pour les problèmes d'accessibilité dans les réseaux de Petri

Mots-clés de la thèse : Vérification de modèles,Problèmes d'accessibilité,Réseaux de Petri,Réductions structurelles,Techniques d'abstraction,Résolution SMT,

Direction de thèse : François VERNADAT

Co-direction de thèse : Didier LE BOTLAN

Unité de recherche : LAAS - Laboratoire d'Analyse et d'Architecture des Systèmes UPR 8001 - Toulouse
Intitulé de l'équipe : VERTICS - VERification des Systèmes Temporisés CritiqueS

Master - Master of Science in Informatics at Grenoble (MoSIG)

obtenu en juin 2020 - Grenoble INP
Option : High-confidence and Cyberphysical Systems (HECS)

Production scientifique

- Nicolas Amat, Silvano Dal Zilio, Didier Le Botlan 2023. Automated Polyhedral Abstraction Proving , 13929, pp.324-345, https://hal.laas.fr/hal-04115006/document
- Nicolas Amat, Silvano Dal Zilio 2023. SMPT: A Testbed for Reachability Methods in Generalized Petri Nets , 14000, https://hal.laas.fr/hal-04007410/document
- Nicolas Amat, Bernard Berthomieu, Silvano Dal Zilio 2022. A Polyhedral Abstraction for Petri nets and its Application to SMT-Based Model Checking Fundamenta Informaticae, 187, pp.103-138, https://hal.laas.fr/hal-03455697/document
- Nicolas Amat, Louis Chauvet 2022. Kong: a Tool to Squash Concurrent Places , , https://hal.laas.fr/hal-03614426/document
- Nicolas Amat, Silvano Dal Zilio, Didier Le Botlan 2022. Leveraging polyhedral reductions for solving Petri net reachability problems International Journal on Software Tools for Technology Transfer, , https://hal.laas.fr/hal-03973463/document
- Nicolas Amat, Silvano Dal Zilio, Thomas Hujsa 2022. Property Directed Reachability for Generalized Petri Nets , , https://hal.laas.fr/hal-03545594/document
- Nicolas Amat, Silvano Dal Zilio, Bernard Berthomieu 2021. A Polyhedral Abstraction for Petri nets and its Application to SMT-Based Model Checking , , https://hal.laas.fr/hal-03455697/document
- Nicolas Amat, Silvano Dal Zilio, Didier Le Botlan 2021. Accelerating the Computation of Dead and Concurrent Places using Reductions Model Checking Software, 45--62, https://hal.laas.fr/hal-03268388/document
- Nicolas Amat, Bernard Berthomieu, Silvano Dal Zilio 2021. On the Combination of Polyhedral Abstraction and SMT-based Model Checking for Petri nets Application and Theory of Petri Nets and Concurrency, 164--185, https://hal.laas.fr/hal-03202111/document

Informations complémentaires :
Sécurité informatique (CTF)
Langues Vivantes : Anglais C1 - Avancé - Espagnol B2 - Intermédiaire supérieur - Français C2 - Maternel

Dernière mise à jour le 21 novembre 2023