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
Book Review Editor 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 BioBITs MATYSS McTafi DART MIKADO TYPES
Conferences and Workshops WFLP 2010 FMOODS/FORTE 2010 CS2Bio 2010 PPDP 2010 ITRS 2010 DCM 2010 HOR 2010 AMCA-POP 2010 WCC 2010 ISCIS 2010