Étienne André

Je suis maître de conférences au sein du Laboratoire d’informatique de Paris Nord de l’Université Paris 13, travaillant dans l’équipe Logique, Calcul et Raisonnement, plus spécifiquement dans l’axe de recherche spécification et vérification.

Mots-clés : model-checking, vérification, systèmes concurrents et distribués, systèmes temporisés, automates temporisés paramétrés, synthèse de paramètres.

À l’approche…

Dernière publication

Dernier exposé

Mes projets

En cours

Terminés

Comités de programme

2017
PRDC 2017, ICOST 2017, FORMATS 2017, ICFEM 2017
2016
ASE 2016 tool demo, ICFEM 2016, FTSCS 2016, ESSS 2016
2015
ESSS 2015, SynCoP 2015 (PC chair), ICOST 2015, PRDC 2015, ICFEM 2015 (+ workshop chair), FTSCS 2015, ACOMP 2015, FOR-MOVES 2015, ICECCS 2015 (+ publicity chair), ICECCS 2015 doctoral symposium
2014
FSFMA 2014 (general chair), ESSS 2014, SynCoP 2014 (PC chair), ICECCS 2014 (PC chair), PRDC 2014, ACOMP 2014, LOPSTR 2014, FOR-MOVES 2014
2013
ESSS 2013, FSFMA’13 (PhD session chair), ICECCS’13, ACOMP 2013

Développement d’outils

Étudiants

Post-docs

Doctorants

Étudiants de master

Formation

Post-doctorat

J’ai effectué un post-doctorat au sein de l’équipe du professeur Dong Jin Song (董劲松) à l’Université Nationale de Singapour. Je travaille notamment avec les membres de l’outil de model-checking PAT.

Thèse de doctorat

J’ai effectué mon doctorat au sein du Laboratoire Spécification et Vérification, ENS Cachan, France de l’École Normale Supérieure de Cachan sous la direction de Laurent Fribourg et Emmanuelle Encrenaz.

Titre : Une méthode inverse pour la synthèse de paramètres temporels dans les systèmes concurrents [PDF Drapeau Royaume-Uni].
Fainéant ? Une version de ma thèse lisible en 5 secondes est disponible ici (autre version ).

Divers

Ma liste de conférences en méthodes formelles.

Ma liste de revues internationales en méthodes formelles.

J’assiste souvent au séminaire MeFoSyLoMa.

Je suis très fier d’avoir un ha-index de 78.