Manzonetto Giulio

Professeur de l'UFR Informatique - Université Paris Cité
Institut de Recherche en Informatique Fondamentale (IRIF)
(λx.gmanzonexirif.fr)@

Professor in Computer Science

Giulio Manzonetto & Henk Barendregt

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.