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
PPDP Most Influential Paper 10-Year Award 2024
Member of the Academia
Europaea
Member of the Editorial Board of Information&Computation
Member of the Committee for the EATCS Award from 2004 to 2006 (chair in 2006)
Member of the EATCS Fellows-Selection Committee from 2018 to 2023 (chair in 2022)
Member of the Alonzo Church Award Committee from 2020 to 2024 (chair in 2023)
Honorary Advisor of TLCA/FSCD
Co-ordinator of the IP
Member of the Steering Committee of DCM
Member of the Steering Committee of ITRS
Projects
HyVar
ARVI
TYPES
Reversible computation
BETTY
CINA
SALT
IPODS
myMed
BioBITs
MATYSS McTafi DART MIKADO
Conferences and Workshops
PLACES 24
HG60
APM 24
RdN70
2018 EUTypes Summer School on Types for Programming and Verification
My Slides
Intervista
|