Louis Lemonnier

Louis Lemonnier

M

 https://orcid.org/0000-0003-1761-3244

Personal profile

Research Interests

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.

Keywords

  • QA75 Electronic computers. Computer science
  • quantum programming languages
  • semantics
  • category theory

Fingerprint

Dive into the research topics where Louis Lemonnier is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
  • 1 Similar Profiles
View full fingerprint

Collaborations and top research areas from the last five years

Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
Explore network further
  • 5 Conference contribution

  • Combining quantum and classical control: syntax, semantics and adequacy

    Dave, K., Lemonnier, L., Péchoux, R. & Zamdzhiev, V., 1 May 2025, 28th International Conference Foundations of Software Science and Computation Structures, Proceedings. Abdulla, P. A. & Kesner, D. (eds.). Springer, p. 155-175 21 p. (Lecture Notes in Computer Science; vol. 15691).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File

  • Semantics for a Turing-complete reversible programming language with inductive types

    Chardonnet, K., Lemonnier, L. & Valiron, B., 5 Jul 2024, Proceedings of the 9th International Conference on Formal Structures for Computation and Deduction. Rehof, J. (ed.). Tallinn, Estonia: Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 19 p. 19. ( Leibniz International Proceedings in Informatics; vol. 299).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File

  • Central submonads and notions of computation: Soundness, completeness and internal languages

    Carette, T., Lemonnier, L. & Zamdzhiev, V., 14 Jul 2023, 2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science. Boston, Massachusetts: Institute of Electrical and Electronics Engineers, p. 1-13 13 p. (Proceedings of the ACM/IEEE Symposium on Logic in Computer Science).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File

  • Categorical semantics of reversible pattern-matching

    Chardonnet, K., Lemonnier, L. & Valiron, B., 3 Sept 2021, Proceedings of the 37th Conference on Mathematical Foundations of Programming Semantics. Sokolova, A. (ed.). Salzburg, Austria: EPTCS, p. 18-33 16 p. ( Electronic Proceedings in Theoretical Computer Science; vol. 351).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File

  • Hypergraph simplification: Linking the path-sum approach to the ZH-calculus

    Lemonnier, L., Wetering, J. V. D. & Kissinger, A., 6 Jun 2020, Proceedings of the 17th International Conference on Quantum Physics and Logic. Valiron, B., Mansfield, S., Arrighi, P. & Panangaden, P. (eds.). Paris, France: EPTCS, p. 188-212 25 p. (Electronic Proceedings in Theoretical Computer Science; vol. 340).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File