Vincent Botbol

Je suis doctorant en informatique dans l'équipe APR du LIP6 à l'UPMC ainsi que dans l'équipe LSL au CEA LIST.
Je travaille sous la supervision de Tristan Le Gall, ingénieur de recherche au CEA, et de Emmanuel Chailloux, professeur à l'UPMC.
Mes travaux portent sur la vérification de systèmes concurrents par interprétation abstraite.

Contacts

LIP6 : tour 25-26 - bureau 303
LSL : Nano-Innov

e-mail : prenom.nom@lip6.fr