Manzonetto Giulio

Professor in Computer Science

Giulio Manzonetto & Henk Barendregt

News

• 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.
• 1 jun 2019: I am an invited speaker at the 10th International Workshop on Higher-Order Rewriting.
• 15 Feb 2018: I am spending four months as invited member of the laboratory I2M in Marseille.

Page maintained by Giulio Manzonetto