E-Mail
Etienne.Andre（at）univ-paris13.fr
Affiliation
Université Paris 13, Sorbonne Paris Cité, LIPN, CNRS, UMR 7030, F-93430, Villetaneuse, France
Address
Laboratoire d’Informatique de Paris-Nord
A204, Institut Galilée
99 avenue Jean-Baptiste Clément
93430 Villetaneuse
France
Phone: +33 1 49 40 28 61
Twitter:
Follow @etienne_andre
I am maître de conférence (associate professor) at LIPN in the University Paris 13, Sorbonne Paris Cité, working in the Logic, Computation and Reasoning team, more specifically in the specification and verification research axis, with Christine Choppy, Laure Petrucci, Kaïs Klaï and Sami Evangelista.
Keywords: model checking, Verification, distributed and concurrent systems, Timed systems, Parametric Timed Automata, Timed CSP, Parameter synthesis.
I have been a research fellow (post-doc) in Prof. Dong Jin Song’s team in the National University of Singapore. I have been working, and keep collaborating, with the PAT model checker team.
I wrote my Ph.D. thesis in the Laboratoire Spécification et Vérification, ENS Cachan, France of the École Normale Supérieure de Cachan, France under the supervision of Laurent Fribourg and Emmanuelle Encrenaz.
Title: An Inverse Method for the Synthesis of Timing Parameters in Concurrent Systems [PDF ].
Lazy? A version of my thesis readable in 5 secondes is available here
(another version is there).
Bergen)A list of conferences in formal methods I am interested in.
I attend as often as possible the MeFoSyLoMa seminary (Formal Methods for Software and Hardware).
I developed several Web sites such as Breizh Partitions and eNoz.
This page makes use of valid HTML 5 and valid CSS.
Content and CSS can be reused and modified under the terms of license Creative Commons Attribution 3.0 Unported (CC BY 3.0).
