Étienne André

I am an associate professor (maître de conférences) with 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.

I am holding in 2015-2016 a délégation CNRS (CNRS researcher position) at IRCCyN, École Centrale, Nantes, France.

I offer a fully funded PhD thesis (co-supervised by Didier Lime) on formal verification of parametric real-time systems with preemption. More information here.

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

Upcoming events

Latest publication

Latest talk

My projects

Ongoing

Completed

Program committees

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

Software development

Students

Education

Post-doctoral Activity

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.

Ph.D. thesis

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 Flag United Kingdom].
Lazy? A version of my thesis readable in 5 secondes is available here (another version is there).

Misc

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 am very proud that my ha-index is 78.

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