Research Scientist at Inria (Saclay) in the project-team PARTOUT.
Office #2051, Alan Turing Building
1 rue Honoré d'Estienne d'Orves
Campus de l'Ecole Polytechnique
91120 Palaiseau, France (directions)
Campus de l'Ecole Polytechnique
91120 Palaiseau, France (directions)
+33 1 74 85 42 24 (voice)
Recent Events (full list)
- LFMTP 2025: International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice (PC co-chair with D. Nantes-Sobrinho)
- PPDP 2024: International Conference on the Principles and Practices of Declarative Programming (PC member)
- LFMTP 2024: International Workshop on Logical Frameworks and Meta-languages: Theory and Practice (PC member)
- TABLEAUX 2023: International Conference on Tableaux and Related Systems (PC member)
Recent Papers and Drafts (full list)
- About Trust and Proof: An experimental framework for heterogeneous verification. The Practice of Formal Methods: Essays in Honour of Cliff Jones, Part II. LNCS 14871, pp. 162–183. 2024. DOI HAL
- Formal Reasoning using Distributed Assertions. International Symposium on Frontiers of Combining Systems (FroCoS). LNCS 14279, pp. 176–194. 2023. DOI HAL
- Distributing and trusting proof checking a preliminary report. Technical Report. 2023. HAL
- Certifying Proof-By-Linking. Technical Report. 2022. HAL