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 2018 FOSSACS 2018 DCM 2018 FTfJP 2018 ECOOP 2019
2018 EUTypes Summer School on Types for Programming and Verification My Slides

Corrado Böhm Memorial
On July 9 2018 in Oxford, there will be a memorial in honour of Professor Corrado Böhm, whose work has been of tremendous
inspiration to the research community and deeply influenced the development of theoretical computer science.
Two special guests for the Corrado Böhm Memorial:
- Henk Barendregt (Radboud U., Nijmegen, The Netherlands)
- Silvio Micali (MIT Computer Science & Artificial Intelligence Lab, US)

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


amnesty MSF handoffcain amnesty emergency