Loading 3D model...
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, automated reasoning.
Contact MeAbout 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, Loria, Nancy, France. My work focuses on improving the automation of the B method and articulates techniques from set theory and automated reasoning.
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, 2022Skills
My technical levelDevelopment
10+ yearsPython
Isabelle(HOL), Lean, B
LaTeX, Git
C, C++, JS, OCaml
HTML, CSS
Science
10+ yearsFormal Methods, Logic, Theorem Proving
Satisfiability Modulo Theories (SMT)
Algebra
Analysis, General Maths
Quantum Physics, General Physics
Qualification
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