Foto del docente

Davide Sangiorgi

Professore ordinario

Dipartimento di Informatica - Scienza e Ingegneria

Settore scientifico disciplinare: INF/01 INFORMATICA

Coordinatore del Corso di Dottorato in Computer science and engineering

Curriculum vitae

Laurea (Master) in Informatica,  Universita' di Pisa, 1987. PhD  Edinburgh University (UK) (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' dal 2019 Coordinatore del Dottorato in Computer Science and Engineering dell'Università di Bologna. E' stato Coordinatore del Corso di Laurea in Informatica per il Management, periodo 2013-2016.

E' responsabile del Research Team FOCUS, un laboratorio a comune tra l'Universita' di Bologna e INRIA.
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 da un articolo apparso nei proceedings della conferenza "Concurrency Theory" nel periodo 1992-1995).

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 chairman dal 2004 al 2011, e membro del WG 1.8 "Concurrency Theory". E', o e' stato, membro dell'Editorial Board dei giornali "Logical Methods in Computer Science", "Acta Informatica", "Distributed Computing", "RAIRO - Theoretical Informatics and Applications". 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.

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).

Ultimi avvisi

Al momento non sono presenti avvisi.