Pierre Bouvier

Contact

Email: rf.airni |ta| reivuoB |tod| erreiXP
Phone: 97 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

• Pierre Bouvier, Hubert Garavel and Hernán Ponce de León. Automatic Decomposition of Petri Nets into Automata Networks - A Synthetic Account. In Proceedings of the 41th Application and Theory of Petri Nets and Concurrency, PETRI NETS 2020, Paris, France, June 2020.

Teaching

• 2019: Programming in C project - Development of a MIPS emulator
  M1 level, at the PHELMA engineering school (Grenoble INP) - 31h eq. TD
• 2020: Algorithms and data structures
  L3 level, at the ENSIMAG engineering school (Grenoble INP) - 33h eq. TD
• 2020: Programming in C project - Development of a MIPS emulator
  M1 level, at the PHELMA engineering school (Grenoble INP)
• 2020: Formal language theory 1
  L3 level, at the ENSIMAG engineering school (Grenoble INP)

Data sets

• The VLSAT (Very Large SAT) Benchmark Suite, a collection of one hundred of SAT formulas to be used as benchmarks in scientific experiments and software competitions. These SAT 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.

Software

• My GitHub account