PhD, Formal Methods R&D Engineer at OCamlPro, interested in:
-
SMT solving
-
Constraint Programming
-
Symbolic Execution
-
Deductive Verification
-
Formal Methods in general
Links
Professional experience
-
R&D Engineer at OCamlPro, since Sep 2021.
-
PhD Student at Université Paris-Saclay, CEA, List, from Sep 2022 to Oct 2025.
-
R&D Intern at OCamlPro, from Mar 2021 to Sep 2021.
Education
-
Doctorate in computer science from Paris-Saclay University, successfully defended on the 15th Oct 2025. More info at defense page.
-
Master's degree in computer science from Sorbonne University, Sep 2021.
-
Title: Software Science and Technology (Fr: STL — Science et Technologie du Logiciel), R&D branch, Software safety and reliability thematic.
-
Main subjects: Algorithmics, Formal methods, Type checking, Static analysis, Program verification, Operational semantics and Process algebras.
-
-
Bachelor's degree in computer science from Sorbonne University, Sep 2019.