Adresse électronique
Etienne.Andre（arobase）univ-paris13.fr
Affiliation
Université Paris 13, Sorbonne Paris Cité, LIPN, CNRS, UMR 7030, F-93430, Villetaneuse, France
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
Twitter :
Follow @etienne_andre
Je suis maître de conférence au sein du Laboratoire d’informatique de Paris Nord de l’Université Paris 13, Sorbonne Paris Cité, 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à).
Bergen)Une liste de conférences sur les méthodes formelles qui m’intéressent.
J’assiste souvent au séminaire MeFoSyLoMa.
J’ai réalisé le code de plusieurs sites Web, dont Breizh Partitions et eNoz.
Cette page est conforme aux standards HTML 5 et CSS.
Content and CSS can be reused and modified under the terms of license Creative Commons Attribution 3.0 Unported (CC BY 3.0).
