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

Member of the Academia Europaea
Member of the IFIP Working Group 2.2
Member of the Editorial Board of Information&Computation (now with free online access)
Chair of the Steering Committee 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 IPODS myMed BioBITs MATYSS McTafi DART MIKADO TYPES
Conferences and Workshops DCM 2012 CSL 2012 ICFP 2012