Hi, I am Vincent!
Ph.D. student
I am a Ph.D. student at Inria, LORIA, Nancy, France. My main research interests are logic, formal methods, theorem proving, set theory and automated reasoning.
During my Ph.D., I have been developing BEer, a tool that encodes B proof obligations in SMT-LIB 2.7 using higher-order logic.
Contact MePinned Projects
Selected GitHub repositoriesAbout Me
My introduction
I am a computer science engineer and graduated from the École des Mines de Nancy, University of Lorraine, France.
Since October 2023, I work as a PhD student at Inria Nancy. My work focuses on improving the automation of the B method and articulates techniques from set theory and automated reasoning. I mostly work with Lean , a fantastic programming language and theorem prover.
Apart from my studies, I like cycling, cooking, photography, playing guitar and capybaras.
Publications
Safely Encoding B Proof Obligations in SMT-LIB
(🏆 Best Paper Award) ABZ, 2025Substitutions for λ-free higher-order terms
Archive of Formal Proofs, 2024Correctness of a Set-based Algorithm for Computing Strongly Connected Components of a Graph
Archive of Formal Proofs, 2022Invited talks
Selected presentationsJournée du GT LVP du GdR GPL
Paris, 2025EuroProofNet: Workshop on Automated Reasoning and Proof Logging
Orsay, Paris, 2025BLaSST Meeting
Clearsy, Paris, 2025ABZ: Safely Encoding B Proof Obligations in SMT-LIB
Düsseldorf, 2025ICSPA Meeting
Paris, 2025Journée du GT LVP du GdR GPL
Paris, 2024VINO
Campo Tures, Italy, 2024VeriDis Retreat
Liège, 2024AFADL: Enhancing B Language Reasoners with SMT Techniques
Strasbourg, 2024BLaSST Meeting
Clearsy, Paris, 2024Qualification
My personal journeyÉcole Nationale Supérieure des Mines de Nancy
University of Lorraine, Nancy, France
2020 - 2023
Technical University of Munich
Munich, Germany
2022 - 2023
French Preparatory Classes for Higher Education
Orléans, France
2018 - 2020
Ph.D. at INRIA
Loria, Nancy, France
2023 - today
Technical University of Munich
Research Intern at the Chair for Logic and Verification, Munich, Germany
2022 - 2023
Clearsy
R&D Engineer, Aix-en-Provence, France
2023