Skip to main content

Étienne Renault

Enseignant/Chercheur à l’EPITA at

About Me

Titulaire d'un master de l’université Pierre & Marie Curie en «Système et applications réparties», Étienne Renault est actuellement docteur de l'UPMC et chercheur au LRDE. Il s’intéresse à la vérification formelle des systèmes concurrents et participe activement aux développements de la bibliothèque SPOT. Depuis 2011, il participe aux enseignements sur iOS et Android.

Courses and Programs taught by Étienne Renault

1 course
1 course