E-Mail
Etienne.Andre (at) lipn.univ-paris13.fr
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
Fax: +33 1 48 26 07 12
Twitter:
Follow @etienne_andre
I am maître de conférence (associate professor) at LIPN in the University Paris-XIII, 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).
My Ph.D. defense took place on 8th December 2010 in École Normale Supérieure de Cachan, France.
I did my research master in 2007 in the LIS team of IRISA, Rennes, France under the supervision of Sébastien Ferré.
]]I did in 2006 a 4 month internship in the Lande team of IRISA, Rennes, France under the supervision of Frédéric Besson and Thomas Jensen.
]
Singapore)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 the Web site Breizh Partitions.
This page makes use of valid HTML 5 and valid CSS.
