Étienne André

I am an associate professor (maître de conférences) with LIPN in the University Paris 13, working in the Logic, Computation and Reasoning team, more specifically in the specification and verification research axis.

Keywords: model checking, Verification, distributed and concurrent systems, Timed systems, Parametric Timed Automata, Parameter synthesis.

Upcoming events

Latest publication

Latest talk

My projects



Steering committees

SynCoP 2016, SynCoP 2017, SynCoP 2018

Program committees

PRDC 2017, ICOST 2017, FORMATS 2017, ICECCS 2017, ICFEM 2017
ASE 2016 tool demo, ICFEM 2016, FTSCS 2016, ESSS 2016
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
FSFMA 2014 (general chair), ESSS 2014, SynCoP 2014 (PC chair), ICECCS 2014 (PC chair), PRDC 2014, ACOMP 2014, LOPSTR 2014, FOR-MOVES 2014
ESSS 2013, FSFMA’13 (PhD session chair), ICECCS’13, ACOMP 2013

Software development



PhD students

Master students


Post-doctoral Activity

I have been from December 2010 to August 2011 a research fellow (post-doc) in Prof. Dong Jin Song (董劲松)’s team in the National University of Singapore.

Ph.D. thesis

I wrote my Ph.D. thesis from September 2007 to December 2010 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 Flag United Kingdom].
Lazy? A version of my thesis readable in 5 secondes is available here (another version is there).


My list of conferences in formal methods.

My list of journals in formal methods.

I attend as often as possible the MeFoSyLoMa seminary (Formal Methods for Software and Hardware).

I am very proud that my ha-index is 78.

I developed several Web sites such as Breizh Partitions, eNoz and prime numbers.