Adresse électronique
Etienne.Andre (arobase) lipn.univ-paris13.fr
Adresse postale
Laboratoire d’Informatique de Paris-Nord
A204, Institut Galilée
99 avenue Jean-Baptiste Clément
93430 Villetaneuse
France
Téléphone : +33 1 49 40 28 61
Fax : +33 1 48 26 07 12
Twitter :
Follow @etienne_andre
Je suis maître de conférence au sein du Laboratoire d’informatique de Paris Nord de l’Université Paris-XIII, travaillant dans l’équipe Logique, Calcul et Raisonnement, plus spécifiquement dans l’axe de recherche spécification et vérification, avec Christine Choppy, Laure Petrucci, Kaïs Klaï et Sami Evangelista.
Mots-clés : model-checking, vérification, systèmes concurrents et distribués, systèmes temporisés, automates temporisés paramétrés, Timed CSP, synthèse de paramètres.
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.
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 ].
Fainéant ? Une version de ma thèse lisible en 5 secondes est disponible ici
(autre version là).
Ma soutenance de thèse a eu lieu le 8 décembre 2010 à l’École Normale Supérieure de Cachan.
J’ai effectué en 2007 mon master 2 recherche au sein de l’équipe LIS de l’IRISA, Rennes sous la supervision de Sébastien Ferré.
]]J’ai effectué en 2006 un stage de 4 mois au sein de l’équipe Lande de l’IRISA, Rennes sous la supervision de Frédéric Besson et Thomas Jensen.
]
Singapour)Une liste de conférences sur les méthodes formelles qui m’intéressent.
J’assiste souvent au séminaire MeFoSyLoMa.
Je suis responsable du site Web Breizh Partitions.
