Laurea in Computer Science (1987, Pisa University), PhD in
Science, (1992, Edinburgh University). Full professor in
Science at Bologna University since 10-2002. Research and
positions previously held at Edinburgh University (Research
in Computer Science, 1993-1994), INRIA (Institut national de
en informatique et en automatique) (first as "charge' de
then as "directeur de recherche", 1995-2002). Visiting professor
INRIA Rocquencourt, CWI Amsterdam, Cambridge University,
University, Sendai University.
He is head of the Research Team FOCUS, a joint laboratory between
University of Bologna and INRIA (France).
He has received in 2012 the Outstanding Service Award from
(International Federation for Information Processing), and in 2013
"LICS Test-of-Time" award (this award recognizes a paper from
proceedings of the conference "Logics in Computer Science" from
years prior that has best met the "test of time" in term of
He is member of Academia Europaea (section Informatics). Within
he is member of WG 2.2 "Formal description of Programming Concepts"
in which he has acted as the chairman between 2004 and 2011,
member of WG 1.8 "Concurrency Theory". He is member of the
Board of the journals "Logical Methods in Computer Science",
Informatica", and "Distributed Computing". He has been member of
Council of the Italian Chapter of the European Association
Theoretical Computer Science between 2003 and 2010. He is member
the Steering Board of the italian node of EIT ICT Labs (one of
first Knowledge and Innovation Communities set up by the
Institute of Innovation and Technology) since 2011, as
of the University of Bologna.
He has taken part in a number of research projects, at the European
national level, (in UK, France, and Italy). He has been
member of the
Program Committee and invited speaker in a number of
conferences, including POPL, LICS, CONCUR, MFPS, ETAPS. He has
courses in about 15 international summer schools. He has
or co-supervised, about 10 PhD thesis in Computer Science, and
been member of PhD committees in various European countries. He is
author of more than 100 papers in international journals and
conference proceedings, and of 3 books on theoretical computer
(all published by Cambridge University Press).