Difference between revisions of "Etienne Renault"
From LRDE
(Created page with "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 ...") |
|||
Line 1: | Line 1: | ||
+ | * 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 [http://spot.lip6.fr/wiki/ Spot] project. |
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 [http://spot.lip6.fr/wiki/ Spot] project. |
||
Revision as of 17:28, 11 September 2013
- 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