Laurea (Master) in Informatica, Universita' di Pisa (1983-1987). PhD Edinburgh University, UK (1989-1992). Professore ordinario (INF/01) presso l'Università di Bologna dal 2002. Ha ricoperto posti di ricerca e/o di ruolo presso la Edinburgh University (Research Associate in Computer Science (1993-1994), INRIA (Institut national de recherche en informatique et en automatique, Francia) (prima come "charge' de recherche" poi come "directeur de recherche", 1995-2002). E' stato professore visitatore presso INRIA Rocquencourt, CWI Amsterdam, Cambridge University, Oxford University, Sendai University.
E' stato Coordinatore del Dottorato in Computer Science and Engineering dell'Università di Bologna (2019-2022), e Coordinatore del Corso di Laurea in Informatica per il Management (2013-2016).
E' responsabile del Research Team OLAS, un laboratorio a comune tra l'Universita' di Bologna e INRIA, dal 2022, e precedentemente del Research Team FOCUS (2010-2022).
Ha ricevuto: nel 2012 l'Outstanding Service Award da parte di IFIP (International Federation for Information Processing); nel 2013 il "LICS Test-of-Time Award" (questo premio riconosce, per l'impatto avuto, un articolo apparso nei proceedings della conferenza "Logics in Computer Science" 20 anni prima); nel 2020 il "CONCUR Test-of-Time Award" (in questo caso il premio riconosce l'impatto avuto fino al 2020 da un articolo presentato alla conferenza "Concurrency Theory" in una edizione del periodo 1992-1995); nel 2022 il PPDP "10 Year Most Influential Paper Award" (simile al premio LICS, in questo caso per la conferenza "Principles and Practice of Declarative Programming").
E' membro di Academia Europaea (sezione Informatics), e dell'Accademia delle Scienze di Bologna. E' "Fellow" di EATCS (European Association for Theoretical Computer Science). All'interno di IFIP, e' membro del WG 2.2 "Formal description of Programming Concepts" , di cui e' stato chairman dal 2004 al 2011, e membro del WG 1.8 "Concurrency Theory". E', o e' stato, membro dell'Editorial Board dei giornali "TheoretiCS", "Logical Methods in Computer Science", "Acta Informatica", "Distributed Computing", "RAIRO - Theoretical Informatics and Applications", "Foundations and Trends in Programming Languages", "SN Computer Science". E' stato membro del Consiglio del Capitolo Italiano della European Association for Theoretical Computer Science dal 2003 al 2010. E' stato membro dello Steering Board del nodo italiano di EIT ICT Labs (uno dei primi "Knowledge and Innovation Communities" creato dalllo "European Institute of Innovation and Technology") dal 2011 al 2014, come rappresentante dell' Universita' di Bologna. E' stato membro della commissione scientifica del GRIN (l'associazione che riunisce i docenti universitari italiani di Informatica), 2012-2015. E' stato membro dell `Academic-Expert Commitee' della Graduate School in `Natural and Engineering Sciences' dell'Università di Verona (2019-20).
E' stato referee in diverse agenzie nazionali di finanziamento alla ricerca, e ha partecipato come esperto in comitati per reclutamento o promozioni, in diversi paesi. Ha partecipato a vari progetti di ricerca europei e nazionali (in UK, Francia, e Italia).
E' stato membro di comitato di programma e ``invited speaker'' per varie conferenze internazionali, come POPL, LICS, CONCUR, MFPS, ETAPS, CSL.
E' membro dello Steering Committee della conferenza CONCUR. E' stato oratore in una quindicina di scuole estive internazionali.
E' stato relatore, o co-relatore, di una quindicina di tesi di dottorato in Informatica e membro di commissioni di dottorato in vari paesi europei.
E' autore di piu' di 130 pubblicazioni in riviste e conferenze internazionali, e di 3 libri di informatica teorica (tutti pubblicati dalla Cambridge University Press).
