Louis Lemonnier's webpage

Contact

For research or teaching purposes, don't hesitate to get in touch with me at: louis (dot) lemonnier (at) ed (dot) ac (dot) uk.

I am also on Mastodon! 🐘

Defence

I defended my PhD on 19th June 2024. My thesis, The Semantics of Effects: Centrality, Quantum Control and Reversible Recursion, is available on my webpage, on the arXiv and on the official French website theses.fr. My slides are here.

Research

My research lies at the intersection between mathematics, computer science and quantum theory.

My main focus resides on the semantics of quantum programming languages; in other words, I provide an interpretation of programs using techniques from logic and mathematics, in particular topology and category theory. One of my goals is to abstract quantum programming from the level of circuits to infinite data types.

My interest in quantum computing has also led me to work on reversible programming languages and the semantics of effects.

Developing the semantics of a programming language enhances one's understanding of this language, and it can sometimes highlight which aspects of the language can be improved. Moreover, semantics offers a formal setting for a type-safe verified compilation of a (high-level) language to hardware.

More generally, there are several topics that I have worked on, would like to work on or that I enjoy reading about:

Preprints and Publications

Non-Cartesian Guarded Recursion with Daggers.
Preprint. arXiv:2409.14591.

Co-authored with Kostia Chardonnet and Benoît Valiron.
Semantics for a Turing-complete Reversible Programming Language with Inductive Types.
FSCD'24. arXiv:2309.12151. DOI.

Co-authored with Titouan Carette and Vladimir Zamdzhiev.
Central Submonads and Notions of Computation: Soundness, Completeness and Internal Languages.
LICS'23. arXiv:2207.09190. DOI.

Co-authored with Titouan Carette.
Large-scale quantum diagrammatic reasoning tools, !-boxes vs. scalable notations.
Preprint. arXiv:2204.11702.

Co-authored with Kostia Chardonnet and Benoît Valiron.
Categorical Semantics of Reversible Pattern-Matching.
MFPS'21. arXiv:2109.05837. DOI.

Co-authored with John van de Wetering and Aleks Kissinger.
Hypergraph Simplification: Linking the Path-sum Approach to the ZH-calculus.
QPL'20. arXiv:2003.13564. DOI.

Teaching

2024-2025 (University of Edinburgh):

2023-2024 (ENS Paris-Saclay):

2022-2023 (ENS Paris-Saclay):

2021-2022 (ENS Paris-Saclay):

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 the time.

Pointers

Some colleagues and friends, who are not already cited above.