I am a third year PhD student under the supervision of Beniamino Accattoli (LIX Partout, INRIA) and Giulio Manzonetto (IRIF, Université Paris Cité). Previously on Adrienne's official PhD supervision team: (change made only for admin reasons) Claudia Faggian (IRIF, CNRS).

You may find me at IRIF in office 3026, or sometimes in Saclay in the INRIA lab (Alan Turing building).

To email me : lancelot at irif dot fr

I work on untyped lambda-calculus and its variants, investigating operational and denotational semantics. (see my thesis subject.)

Currently: I am actively working on program equivalences in call-by-value lambda-calculi.

What I wish to learn more of : (operational) game semantics, models of the lambda-calculus, Pi-calculus, realizability, fixed-points combinators, induction and coinduction, cyclic proofs …

• Barendregt's Theory of the Lambda-Calculus, Refreshed and Formalized – Lancelot, Accattoli and Vemclefs, submitted with an Abella formalization.
• Separating Terms by Means of Multi Types, Coinductively – Lancelot, accepted to the post-proceedings of TYPES 2024.
• Interaction Equivalence – Accattoli, Lancelot, Manzonetto and Vanoni, POPL 2025 (paper – with proofs)
• Mirroring Call-by-Need, or Values Acting Silly – Accattoli and Lancelot, FSCD 2024 (paper – with proofs)
• Light Genericity – Accattoli and Lancelot, FoSSaCS 2024 (paper – with proofs)
• Normal Form Bisimulations by Value – Accattoli, Lancelot and Faggian (technical report)

• July 9th at ITRS24: Separating Terms through Multi Types (abstract – slides)

Interaction Equivalence:

• May 2025 – Invited Talk at the Advances in Interactive and Quantitative Semantics workshop
• January 24th 2025 – POPL25 (slides – video)
• November 21st 2024 – Chocola Seminar (slides)
• November 18th 2024 – GT Scalp (slides, also mentioning WIP with lazy call-by-name)
• November 14th 2024 – GT Syntax Meets Semantics
• June 25th 2025 – Journées PPS 2024 (titled Towards a Quantitative Contextual Equivalence, slides)

Mirroring Call-by-Need, or Values Acting Silly:

• July 13th 2024 – FSCD 2024 in Tallinn, Estonia (slides)
• June 6th 2024 – GT Syntax Meets Semantics (slides)

Light Genericity:

• April 10th 2024 – FoSSaCS 2024, Luxembourg (slides)
• February 22nd 2024 – Séminaire PPS (slides)
• November 28th 2023 – GT Scalp Days

Normal Form Bisimulations by Value:

• March 7th 2024 – Séminaire LIMD (slides)
• January 14th 2024 – GALOP24, workshop of POPL24 in London (slides)
• November 21st 2023 – University of Birmingham (slides)
• November 6th 2023 – Theory Lunch at Queen Mary University of London (informal whiteboard talk titled Syntactical Program Equivalence)
• October 5th 2023 – Séminaire Love (slides)
• June 12th 2023 – TYPES23 (slides )
• May 11th 2023 – Chocola (slides)
• October 19th 2022 – GT Syntax Meets Semantics (talk titled Open Call-by-Value and Open Similarity)

I teach at undergraduate level in UFR d'informatique at Université Paris Cité.

2024-2025:

• TP Initiation aux Systèmes d'Exploitation (L1 S1) - Unix & bash
• TP Programmation Orientée Objet (L2 S1) - Java
• Conduite de Projet (L2 S1) - Java

2023-2024:

• TP Langage C (L2 S2) - C
• TP Programmation fonctionnelle pour le web (L1 S2) - OCaml
• TP Informatique (CUPGE 1ère Année) - Python

2022-2023:

• TD+TP en Initiation à la Programmation 2 (L1) - Java
• Encadrement de Projet de Programmation (L2) - Java

I am also often involved in Fête de la Science (popularization and activities around Computer Science targeted to primary school students) and supervising high school students in small programming exercises during their observation internships.

2025, January: student volunteer helping for the JFLA2025

2024, June: co-organizer of the PPS days

2024, January: student volunteer at POPL24, London

2022 – Present: Elected Representative for PhD students and PostDocs in IRIF (Conseil de Labo IRIF)

2021 – 2023: Elected Student Representative at Université Paris Cité (Conseil d'UFR Mathématiques, Conseil de Faculté des Sciences, Sénat Académique)

2017 – 2019: Elected Classe Préparatoires Student Reprensentative at Lycée Janson de Sailly, Paris (Conseil d'Administration)

My coaster-count is 147. (updated August 19th 2024)

Credit to Mariana Milicich for the ?lambda? picture