Etienne Renault

• Name: Etienne Renault
• Email: renault@lrde.epita.fr
• Website : http://pagesperso-systeme.lip6.fr/Etienne.Renault/
• Google Website : http://scholar.google.fr/citations?user=FIly0wQAAAAJ
• Subject: "Composition dynamique de techniques pour le modèle checking efficace"
• Ecole doctorale : EDITE
• Advisors: Fabrice Kordon et Denis Poitrenaud (UPMC-LIP6), Alexandre Duret-Lutz (LRDE)

Comment: I have been graduated in real-time and distributed systems at UPMC and I'm a PHD student working on the dynamic composition of techniques for Model Checking. I am working at LRDE since year 2011-2012 and my work is integrated in the Spot project.

You can check my website here.

You can check my Google page here.

You can contact me at: renault[at]lrde.epita.fr