É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 pilotage

SynCoP 2016, SynCoP 2017, SynCoP 2018

Comités de programme

2017
PRDC 2017, ICOST 2017, FORMATS 2017, ICECCS 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é de décembre 2010 à août 2011 un post-doctorat au sein de l’équipe du professeur Dong Jin Song (董劲松) à l’Université Nationale de Singapour.

Thèse de doctorat

J’ai effectué mon doctorat de septembre 2007 à décembre 2010 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.

J’ai réalisé le code de plusieurs sites Web, dont Breizh Partitions, eNoz et nombres premiers.