Louis Lemonnier's webpage

© Manon Blanc
Loch Long on the way to the Cobbler © Malin Altenmüller

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 (algebra, category theory, topology), computer science (programming languages, semantics) and quantum theory (Hilbert spaces, CPTP maps, C*-algebras).

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.

Through category theory, I study the structure of quantum computing. This understanding of the structure provides insights on the design of new (and better) primitives aimed at quantum programming languages.

My interest in quantum computing has also led me to work on reversible programming languages, and on 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.

Program Committees

Organisation Committees

Publications

Preprints

Teaching

2025-2026 (University of Edinburgh):

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 some 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.

Alba /ˈal̪ˠapə/ Scotland

Pointers

Some colleagues and friends, except the ones already cited above.

I organised a Spring School about Quantum Informatics, 24-29 May 2026, on the Isle of Skye! Here is the associated website!