Research activities

My field of study is logic in computer science. More specifically, my research is situated at the interface between logic and computer science provided by the Curry-Howard correspondence, with an emphasis on the point of view offered by linear logic and category theory. Some keywords:

• implicit computational complexity and, more generally, the application of logical methods to structural complexity theory.
• the semantics of programming languages and proof systems, in particular lambda-calculi, type systems, proof nets, interaction nets, differential interaction nets, geometry of interaction, etc., with a specific focus on quantitative properties of programs;
• concurrent process calculi and their relationship with non-deterministic variants of interaction nets and linear logic proof nets.

I am the current director of my research laboratory.

Events: ICFP 2025 (PC member) FSCD 2025 (PC member) RADICAL 2023 (invited speaker) LICS 2023 (PC member) EPIT 2023 (organizer) FoPSS 2023 (lecturer) Workshop on Differentiable Programming (co-organizer) Linear Logic Winter School (LI2022) (lecturer) LAFI 2022 (invited speaker) Caleidoscope 2021 (co-organizer) (CANCELLED) Caleidoscope 2020 (co-organizer) (CANCELLED)

Research groups and projects I am involved in: Scalp working group, GDR IFM (member) LHC working group, GDR IFM (member) IRN Clove (member) IRN Linear Logic (member) IRP SINFIN (associated member) Past grants: Elica (ANR "projet cooperatif", 2015-2019; scientific coordinator) Logoi (ANR; 2010-2015; local coordinator)

Ph.D. students:

• Baptiste Chanus
• Aloys Dufour

In the past, I co-advised the following Ph.D. students, who have now defended their thesis:

• Boris Eng: An exegesis of transcendental syntax, defended in June 2023. Co-advisor: Thomas Seiller.
• Luc Pellissier: Réductions et Approximations Linéaires, defended in December 2017. Advisor: Stefano Guerrini.
• Pierre Vial: Non-idempotent Typing Operators: Beyond the Lambda-Calculus, defended in December 2017. Advisor: Delia Kesner (PPS, Paris 7).
• Aloïs Brunel: The Monitoring Power of Forcing Transformations, defended in June 2014. Advisor: Stefano Guerrini.
• Andrei Dorman: Concurrency in Interaction Nets and Graph Rewriting, defended in June 2013. Advisor: Lorenzo Tortora de Falco (joint Ph.D. thesis with Università Roma Tre, co-advised at Paris 13 by Stefano Guerrini).