Scholar
Ambroise Lafont
Google Scholar ID: duJ81YEAAAAJ
Ecole Polytechnique
Citations & Impact
Citations
135
H-index
8
i10-index
8
Publications
20
Co-authors
0
Publications
Resume (English only)
Academic Achievements
- Published several academic papers, including 'Semantics of pattern unification', '2-Functoriality of Initial Semantics, and Applications', and more. Involved in multiple software projects such as a collaborative diagram editor, ii-from-i, weak-omega-coq, etc.
Research Experience
- Worked on the Dargent extension, primarily editing the Isabelle codebase and occasionally the compiler (written in Haskell). Dargent allows customization of how Cogent types are laid out in memory when compiling to C.
Education
- PhD thesis: Signatures and models for syntax and operational semantics in the presence of variable binding; Defense date: 2nd December 2019.
Background
- Currently an assistant professor at Ecole Polytechnique in the PARTOUT team, with research interests mainly in Type Theory and Category Theory.
Miscellany
- Supervises several students, including Johann Rosain (intern since September 2025), Jonathan Arnoult (PhD student since October 2025, co-supervised by Assia Mahboubi), and others.
Co-authors