Louis Lemonnier
- I have been a PhD student since September 2021 under the supervision of Benoît Valiron and Vladimir Zamdzhiev.
- Member of QuaCS (an Inria Saclay team) of the LMF laboratory.
- You can find my CV here. I'll try to update it as regularly as possible.

Contact
For research or teaching purposes, don't hesitate to get in touch with me at: lemonnier (at) lmf (dot) cnrs (dot) fr.
Research
My research interests have been significantly influenced by the topics of some courses given at the late ENS Cachan; thus, I'm curious about anything that gravitates toward type theory, (denotational) semantics of programming languages, logic and rewriting systems. I was also willing to keep studying physics when I started in ENS, which led me to work on quantum information and quantum computing.
The topic of my PhD was categorical denotational semantics of quantum-controlled recursion at the start. Moreover, on a more practical aspect, I am meant to spend some time imagining and compiling a programming language aimed at quantum optics.
I happen to be very interested in the study of computational effects through category theory, especially non-classical ones: differential, probabilistic, or quantum.
More generally, there are several topics that I have worked on, would like to work on or that I enjoy reading about:
- any model or mathematical structure used in quantum computation, with a special spark for category theory, and I could not live without this,
- quantum control,
- graphical calculi, especially ZX and ZH-calculus,
- type theory (I want to finish reading HoTT at some point),
- semantics of programming languages,
- topology.
Teaching
2022-2023:
- Project: Functional programming and Go compiler in OCaml.
- Computability, exercise sessions. My ressources (in French).
- Programming and semantics, exercise sessions. My ressources (in French).
2021-2022:
- Project: Go compiler in OCaml.
- Programming and semantics, exercise sessions. My ressources (in French).
- Another project: webpage.
Preprints and Publications
Co-authored with Titouan Carette and Vladimir Zamdzhiev. Central Submonads and Notions of Computation. LICS'23. arXiv link. Slides.
Co-authored with Titouan Carette. Large-scale quantum diagrammatic reasoning tools, !-boxes vs. scalable notations. Preprint. arXiv link.
Co-authored with Kostia Chardonnet and Benoît Valiron. Categorical Semantics of Reversible Pattern-Matching. MFPS'21. arXiv link. Slides.
Co-authored with John van de Wetering and Aleks Kissinger. Hypergraph Simplification: Linking the Path-sum Approach to the ZH-calculus. QPL'20. arXiv link. Slides.
Other interests
To contact me about anything in this section: llemonnier (at) crans (dot) org.
Outside mathematics and computer science, I spend a lot of time learning about natural and constructed languages. I have never focused my full attention on one in particular. Thus, I have medium knowledge in many languages, and I speak a few of them. My goal is to eventually create a language I am proud of, which will take a while.
I also play the bass when I find some time.