Difference between revisions of "Etienne Renault"
From LRDE
(3 intermediate revisions by the same user not shown) | |||
Line 1: | Line 1: | ||
* Name: Etienne Renault |
* Name: Etienne Renault |
||
* Email: renault@lrde.epita.fr |
* Email: renault@lrde.epita.fr |
||
+ | * Website https://www.lrde.epita.fr/~renault/. |
||
− | * 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. |
||
− | |||
− | You can check my website [http://pagesperso-systeme.lip6.fr/Etienne.Renault/ here]. |
||
− | |||
⚫ | |||
− | |||
− | You can contact me at: renault[at]lrde.epita.fr |
||
− | |||
− | Here is the list of my publications since I started my PhD. |
||
− | |||
− | {{#ask: [[Category:Publications]] [[Publication type::inproceedings]] |
||
− | [[Has author::~*Renault*]] |
||
− | | ?Has title = Title |
||
− | | ?Published in |
||
− | | ?News date#MEDIAWIKI=Date |
||
− | | order = descending |
||
− | | sort = News date |
||
− | }} |
Latest revision as of 15:09, 11 April 2016
- Name: Etienne Renault
- Email: renault@lrde.epita.fr
- Website https://www.lrde.epita.fr/~renault/.
- Google page here.