Foto del docente

Davide Sangiorgi

Professore ordinario

Dipartimento di Informatica - Scienza e Ingegneria

Settore scientifico disciplinare: INF/01 INFORMATICA

Curriculum vitae

Laurea in Informatica presso l'Università di Pisa (1987) e PhD in
Computer Science Edinburgh University (UK) (1992). Professore
ordinario (INF/01) presso l'Università di Bologna dal 10-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) (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' responsabile del Research Team FOCUS, un laboratorio a comune tra
l'Universita' di Bologna e l'INRIA (Francia).
Ha ricevuto nel 2012 l'Outstanding Service Award da parte di
IFIP (International Federation for Information Processing), e 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)
E' membro di Academia Europaea (sezione Informatics). All'interno di
IFIP, e' membro del WG 2.2 "Formal description of Programming
Concepts" , di cui e' stato chairam dal 2004 al 2011, e membro del WG
1.8 "Concurrency Theory". E' membro dell'Editorial Board dei giornali
"Logical Methods in Computer Science", "Acta Informatica", e
"Distributed Computing". E' stato membro del Consiglio del Capitolo
Italiano della European Association for Theoretical Computer Science
dal 2003 al 2010.  E' 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, come rappresentante dell' Universita' di Bologna.
Ha partecipato a vari progetti di ricerca europei e nazionali (in UK,
Francia, e Italia).  Membro di comitato di programma e ``invited
speaker'' per varie conferenze internazionali, come POPL, LICS,
CONCUR, MFPS, ETAPS. E' stato oratore in una quindicina di scuole estive
internazionali. E' stato relatore, o co-relatore, di una decina di
tesi di dottorato in Informatica e membro di commissioni di dottorato
in vari paesi europei. E' autore di piu' di centinaio di pubblicazioni
di riviste e conferenze internazionali, e di 3 libri di informativa
teorica (tutti pubblicati dalla Cambridge University Press).

Ultimi avvisi

Al momento non sono presenti avvisi.