# 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).