Adrienne Lancelot
⌂ – Research – Publications – Talks – Teaching – Service
I am a postdoctoral researcher in the Università di Bologna working with Ugo Dal Lago. I am also affiliated with Inria in the OLAS team.
To email me: adrienne dot lancelot at unibo dot it
(I also have an active inria email address)
(please avoid my irif dot fr and the gmail dot com addresses)
News
-
My PhD thesis received the E.W. Beth Dissertation Award (slides).
-
I am in the PC of ICFP 2027.
-
Je suis dans le PC des JFLA 2027. Pensez à y envoyer un papier !
-
A long version of Mirroring Call-by-Need, or Values Acting Silly has been published in LMCS, for the FSCD 2024 special issue.
-
I am in the PC of CSL 2027.
Older News:
- We may have met in FLoC 2026: I presented three contributed talks in the workshops GALOP, ITRS and PERR.
- I am in the PC of the FLoC workshops GALOP 2026 and TLLA 2026.
- I am starting a postdoc with Ugo Dal Lago at the University of Bologna in December 2025.
About my PhD:
From Sept 2022 to Nov 2025, I was a PhD student under the supervision of Beniamino Accattoli (LIX Partout, INRIA) and Claudia Faggian (IRIF, CNRS) `;` Giulio Manzonetto (IRIF, Université Paris Cité).
- I defended my PhD thesis titled Comparing functional programs, or how to put λ-terms back in order on November 13th 2025 at the IRIF lab.
PhD Manuscript: Comparing functional programs, or how to put λ-terms back in order
My coaster-count is 177. (updated September 17th 2026)
Credit to Mariana Milicich for the ^?_?lambda^?_? picture.