Pierre Bouvier

Contact

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

About me

I am a first-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.

Publications

Teaching

Data sets

Software

Latest update: 2020/04/22 21:33:35