Foto del docente

Davide Sangiorgi


Department of Computer Science and Engineering

Academic discipline: INF/01 Informatics

Curriculum vitae

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

Latest news

At the moment no news are available.