Pierre Bouvier

Contact

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

About me

I am a third-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

Conference papers: Technical reports:

Teaching

Committees

Talks

Data sets

The VLSAT benchmark suites, which are collections of logic formulas, to be used in scientific experiments and software competitions. These formulas have been obtained from the automatic conversion into Nested-Unit Petri Nets (NUPNs) of a large collection of Petri nets modelling real-life problems, such as communication protocols and concurrent systems.

Three collections are available at the moment:

Software

Latest update: 2021/12/15 13:00:46