Dr Louis Lemonnier

Attention, j'ai une nouvelle page web !!

Je suis doctorant depuis septembre 2021 sous la direction de Benoît Valiron et Vladimir Zamdzhiev.
Je suis membre de l'équipe Inria QuaCS, au LMF.
Mon CV se trouve ici.

Soutenance

J'ai soutenu ma thèse le 19 juin 2024 à 14h. Vous trouverez plus de détails ici et n'hésitez pas à me contacter pour la moindre question.

Mon manuscrit est disponible ici (en anglais). Mes diapositives sont ici.

Me contacter

Pour des questions de recherche ou d'enseignement, vous pouvez m'envoyer un mail à : lemonnier (at) lmf (dot) cnrs (dot) fr.

Recherche

Ma recherche se concentre sur la sémantique de langages de programmation, la logique et la théorie des catégories. Un des objectifs de ma thèse est d'établir une sémantique dénotationnelle de la récursivité dans le cadre du contrôle quantique. Une question qui m'intéressait également serait celle de la compilation d'un langage qui intègre du contrôle quantique.

Je m'intéresse aussi à la programmation non classique (différentielle, probabiliste, quantique) sous un prisme catégoriel.

D'autre part, il y a toute une variété de sujet sur lesquels j'aimerais travailler :

la théorie des catégories (appliquée à des questions quantiques ou non) ;
la physique quantique ;
les langages graphiques, tels que le ZX et le ZH-calcul ;
la théorie des types (et j'aimerais finir de lire HoTT un jour) ;
la sémantique des langages de programmation ;
la topologie.

Enseignement

2023-2024:

TD de Mathématiques discrètes.
TD de programmation et sémantique. Mes sujets.

2022-2023:

Project: programmation fonctionnelle et compilateur Go en OCaml.
TD de calculabilité. Mes sujets.
TD de programmation et sémantique. Mes sujets.

2021-2022:

Projet: compilateur Go en OCaml.
TD de programmation et sémantique. Mes sujets.
Et un autre projet : le lien.

Preprints, Publications et Présentations associées

Co-écrit avec Kostia Chardonnet et Benoît Valiron. Semantics for a Turing-complete Reversible Programming Language with Inductive Types. FSCD'24. arXiv link.

Co-écrit avec Titouan Carette et Vladimir Zamdzhiev. Central Submonads and Notions of Computation. LICS'23. arXiv link. Slides.

Co-écrit avec Titouan Carette. Large-scale quantum diagrammatic reasoning tools, !-boxes vs. scalable notations. Preprint. arXiv link.

Co-écrit avec Kostia Chardonnet et Benoît Valiron. Categorical Semantics of Reversible Pattern-Matching. MFPS'21. arXiv link. Slides.

Co-écrit avec John van de Wetering et Aleks Kissinger. Hypergraph Simplification: Linking the Path-sum Approach to the ZH-calculus. QPL'20. arXiv link. Slides.

Présentations non publiées

Semantics of Recursion in Quantum Control. GT IQ 2023. Slides.

Divers

Pour me parler d'autre chose que du travail, vous pouvez me contacter sur l'adresse suivante : llemonnier (at) crans (dot) org.

Je passe un certain temps à apprendre des langues (naturelles ou construites), et surtout leur fonctionnement. Je n'arrive pas à me concentrer sur une en particulier, j'ai donc un niveau débutant dans beaucoup de langues. J'aimerais un jour créer une langue sérieusement, mais ce n'est pas pour demain.

Je joue de la basse quand je trouve du temps.