rf.airni |ta| reivuoB |tod| erreiP
02 25 16 67 4(0) 33+
Address: INRIA Grenoble Rhône-Alpes
655, avenue de l'Europe
38 330 Montbonnot Saint-Martin
I am a first-year PhD student
at Univ. Grenoble Alpes,
in the CONVECS
team of INRIA and
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
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.
- 2019: Programming in C Project - Development of a MIPS emulator
M1 level, at the PHELMA
engineering school (Grenoble INP) - 35h
- 2020: Algorithms and data structures
L3 level, at the ENSIMAG
engineering school (Grenoble INP)
(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
Latest update: 2020/04/22 21:33:35