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.