Étienne André’s Web page

Contact

Étienne André

E-Mail
Etienne.Andre (at) lipn.univ-paris13.fr

Address
Laboratoire d’Informatique de l’Université Paris Nord
A204, Institut Galilée
Avenue J.B. 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 Klai and Sami Evangelista.

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

I offer several (funded) internship proposals, both applied and theoretical, for Master students:

If you are interested in one of them, please contact me (funding is provided).

I also have internship offers for bachelor (licence 3) students. Feel free to contact me if you are interested.

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.

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).

I did my research master in 2007 in the LIS team of IRISA, Rennes, France under the supervision of Sébastien Ferré.

State of the art study: Building and using logics in information systems [PDF ]
5 month internship: Handling theories with logic functors for recomposing description logics [PDF ]

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.