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.