Dipartimento di Informatica
Università di Torino

Research on "Semantics and Logics of Computation"
"Types for higher-order, concurrent, and object-oriented processes" group

Emeritus Professor
Corso Svizzera 185, I-10149 Torino, Italy
Fax: +39 011 751603

EATCS Fellow in 2015
70th Birthday Types and Logic in Torino
PPDP Most Influential Paper 10-Year Award 2019
Member of the Academia Europaea
Member of the Editorial Board of Information&Computation
Member of the EATCS Fellows-Selection Committee
Member of the Church Award Committee
Honorary Advisor of TLCA/FSCD
Co-ordinator of the IP
Member of the Steering Committee of DCM
Member of the Steering Committee of ITRS
Member of the Editorial Board of Scientific Annals of Computer Science

Projects HyVar ARVI TYPES Reversible computation BETTY CINA SALT IPODS myMed BioBITs MATYSS McTafi DART MIKADO
Conferences and Workshops Concur 21 ESOP 22
2018 EUTypes Summer School on Types for Programming and Verification My Slides

Papers (by date) / Papers (by kind) / Curriculum vitae / Research group / Research group papers / Department / University of Turin


amnesty MSF handoffcain amnesty emergency