Dipartimento di Informatica
Università di Torino


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

Full 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
Member of the Academia Europaea
Member of the IFIP Working Group 2.2
Member of the Editorial Board of Information&Computation
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 ENASE 2017 FORTE 2017 PPDP 2017 OOPSLA 2017 FOSSACS 2018 DCM 2018


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

 

amnesty MSF handoffcain amnesty emergency