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, please contact me at: lemonnier (at) lsv (dot) fr.

Research

My research interests have been significantly influenced by the topics of some courses given at the late ENS Cachan and its CS lab (ex-LSV, now LMF); thus, I'm curious about anything that gravitates toward semantics, 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 is categorical denotational semantics of quantum programming languages, specifically quantum control; for now, I am only working with one programming language (Theseus-like, based on pattern-matching), and I'll probably undertake a broader view shortly. Besides, on a more practical aspect, I am meant to spend some time imagining and compiling a programming language aimed at quantum optics.

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

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. Preprint. Available on HAL.

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 that I am proud of, which will take a while.