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
-
I am in the PC of ITP 2027.
-
I will give a seminar at Collège de France as part of Xavier Leroy’s lectures on program equivalence on November 12th.
-
My PhD thesis received the E.W. Beth Dissertation Award.
-
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.
Older News:
- I am in the PC of CSL 2027.
- 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.