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 ...") |
|||
| (8 intermediate revisions by 2 users not shown) | |||
| Line 1: | Line 1: | ||
| + | * Name: Etienne Renault |
||
| − | 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. |
||
| ⚫ | |||
| − | |||
| + | * Website https://www.lrde.epita.fr/~renault/. |
||
| − | + | * Google page [http://scholar.google.fr/citations?user=FIly0wQAAAAJ here]. |
|
| − | |||
| − | You can check my Google page [http://scholar.google.fr/citations?user=FIly0wQAAAAJ here]. |
||
| − | |||
| ⚫ | |||
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.