Manzonetto Giulio

Professor in Computer Science

Giulio Manzonetto & Henk Barendregt

News

• 3 Dec 2024: I'm currently working on interaction equivalences (to appear in POPL'25).
• 9 July 2024: I'm giving an invited talk (joint TLLA/ITRS) about bichromatic intersection types.
• 1 Sep 2023: Today I start working as a Professor at IRIF, University Paris Cité.
• 7 July 2023: I joined the Steering Committee of the International Conference on Formal Structures for Computation and Deduction (FSCD).
• 3 May 2023: I will present the Satellite book in a plenary lecture at FSCD'23 in Rome. Hope to meet you there.
• 5 oct 2022: The book "A Lambda Calculus Satellite", jointly written with H. Barendregt, is now published.
• 6 apr 2022: Together with Henk Barendregt, I am finalizing a satellite book of "The lambda calculus, its syntax and semantics". Stay tuned.
• 1 sep 2021: I serve as General Chair of the International Conference on Microservices 2022.
• 4 jun 2020: I am the recipient of the Paolo Gentilini Award 2020 for Mathematical Logic and its Applications to Computer Science.
• 1 jan 2020: My POPL 2020 article Taylor Subsumes Scott, Berry, Kahn and Plotkin has been selected as distinguished paper.

Page maintained by Giulio Manzonetto