Pierre Bouvier


Address: INRIA Grenoble Rhône-Alpes
655, avenue de l'Europe
38 330 Montbonnot Saint-Martin
Email: rf.airni |ta| reivuoB |tod| erreiXP
Phone: 97 25 16 67 4(0) 343+

About me

I am a second-year PhD student at Univ. Grenoble Alpes, in the CONVECS team of INRIA and LIG.

In 2019, I received an Engineering degree and a Research Master's degree in Computer Science and Applied Mathematics from École Nationale Supérieure d'Informatique et de Mathématiques Appliquées de Grenoble (ENSIMAG), a French "Grande École".

I have been an assistant engineer trainee at SAP Walldorf (Germany), within the Big Data - HANA Vora department, then a research intern within the CONVECS team.

Currently, I am working on formal methods under the supervision of Hubert Garavel and Radu Mateescu.



Data sets


Latest update: 2021/04/19 09:31:20