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
E-mail:
dezaniATdi.unito.it

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 IFIP Working Group 2.2
Member of the Editorial Board of Information&Computation
Member of the Editorial Board of Springer-Nature journal Computer Science
Member of the EATCS Fellows-Selection Committee
Honorary Advisor of TLCA
Member of the Editorial Board of The Computer Journal
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 ICALP 2019 ECOOP 2019 RADICAL 2019
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