Research
Conference articles
- The Cartesian Closed Bicategory of Thin Spans of Groupoids, with Pierre Clairambault, LICS conference, 2023. (arxiv), (pdf).
- Describing Free ω-categories, with Samuel Mimram, LICS conference, 2019. (pdf).
- Coherence of Gray categories via rewriting, with Samuel Mimram, FSCD conference, 2018. (pdf).
- Dependent Types and Multi-Monadic Effects in F*, with Nikhil Swamy, Cătălin Hriţcu, Chantal Keller, Aseem Rastogi, Antoine Delignat-Lavaud, Karthikeyan Bhargavan, Cédric Fournet, Pierre-Yves Strub, Markulf Kohlweiss, Jean-Karim Zinzindohoue and Santiago Zanella-Béguelin, POPL conference, 2016. (pdf).
Journal articles
- Rewriting in Gray categories with applications to coherence, with Samuel Mimram, Mathematical Structures in Computer Science, 1-74, 2022. (journal), (arxiv), (pdf).
- Unifying notions of pasting diagrams, Higher Structures 6(1): 1-79, 2022. (journal), (arxiv), (pdf).
- Exact synthesis of single-qubit unitaries over Clifford-cyclotomic gate sets, with David Gosset, Vadym Kliuchnikov, David McKinnon, Journal of Mathematical Physics, 2015. (journal), (arxiv), (pdf).
Pre-prints
- The Cartesian Closed Bicategory of Thin Spans of Groupoids, preprint, 2023. (arxiv), (pdf).
- Free precategories as presheaf categories, preprint, 2022. (arxiv), (pdf).
- An extension of Batanin’s approach to globular algebras, preprint, 2022. (arxiv), (pdf).
PhD thesis
The registered (and not modifiable) version of my PhD manuscript can be found here. A regularly updated version of my manuscript can be downloaded here.
Talks
- The cartesian closed bicategory of thin spans, given at the Journées LHC, Paris–Saclay, in October 2022. Talk also given at the ANR PPS 4th general meeting. (slides).
- A computational method for left adjointness, given at the Logic and Semantics seminar, Cambridge, in November 2021. Talk also given at the Logique et Interactions seminar, Marseille, in June 2022. (slides), (code).
- Rewriting for Gray categories, given at the Algebraic Rewriting Seminar, in May 2021. (slides), (video).
- An extension of Batanin framework for higher categories, given at the I2M seminar in March 2021. (slides).
- Computational descriptions of higher categories, PhD defense, January 2021. (html), (slides), (video).
- Describing free ω-categories, LICS19. (slides).
- Coherence of Gray categories via rewriting, FSCD18. (slides).