\documentclass[10pt]{article} \usepackage[usenames]{color} %used for font color \usepackage{amssymb} %maths \usepackage{amsmath} %maths \usepackage[utf8]{inputenc} %useful to type directly diacritic characters \begin{document} \begin{align*}

Dipartimento di Informatica
Università di Torino

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

EATCS Fellow in 2015
70th Birthday Types and Logic in Torino
PPDP Most Influential Paper 10-Year Award 2019
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 Forte 23 DCM 23 RADICAL 23 ST30
2018 EUTypes Summer School on Types for Programming and Verification My Slides

Papers / Department / University of Turin


amnesty MSF handoffcain amnesty emergency