Etienne Renault
From LRDE
Revision as of 11:48, 11 September 2013 by Etienne Renault (talk | contribs) (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 ...")
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