Pierre Bouvier


Address: Kalray S.A.
180, avenue de l'Europe
38 330 Montbonnot Saint-Martin
Email: reivuobXp
moc |tod| cniyarlak |ta|

About me

I did my PhD thesis at Univ. Grenoble Alpes, in the CONVECS team of INRIA and LIG, and worked on formal methods under the supervision of Hubert Garavel and Radu Mateescu.

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 participate to the development of Kalray's next-generation high-performance storage solutions for data centers.


PhD thesis: Journal publication: Conference papers: Technical reports:




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:


Latest update: 2024/03/03 10:52:47