Formazione
Laurea in Scienze dell'Informazione, Univ. di Pisa, 1983
Dottore di Ricerca in Informatica, Univ. di Pisa, 1988
Carriera accademica
Posizioni permanenti:
Univ. Bologna, professore ordinario, dal 2002.
Univ. Udine, professore ordinario, dal 1994 al 2002.
Univ. Pisa, professore associato, dal 1992 al
1994; ricercatore, dal 1988 al 1994.
Componente del Consiglio di Amministrazione dell'Alma Mater, 2021-2024.
Direttore del Dipartimento di Informatica-Scienza e Ingegneria (DISI), 2015-2018.
Posizioni temporanee:
- Collegium - Lyon Institute for Advanced Studies, sett 2018 - giugno 2019 (fellow; sabbatico);
- Université Paris 13, LIPN, nov-dic 2010;
- University of California at Santa Cruz, July 2007;
- Université Paris 13, LIPN, nov-dic 2004;
- Ecole Normale Sup., Parigi, nov - dic 1992;
- Stanford Univ., 1989 - 1990;
- Digital Eq. Co., System Res. Center, estate 1986 (internship).
Attività didattica
Ha insegnato e insegna sia corsi di base (Introduzione alla programmazione, Linguaggi di programmazione) sia specialistici nell'area dei fondamenti dei linguaggi di programmazione. Si rivolge sia agli studenti delle lauree in Informatica che di altre lauree scientifiche (Matematica, Scienze Biologiche, Genomics, etc.)
Direzione dottori di ricerca
Ha diretto una decina di tesi di dottorato, nell'area dei fondamenti dei linguaggi di programmazione e della didattica dell'informatica, alcune in cotutela con importanti università francesi. Suoi ex-studenti sono professori a Udine, Parigi, Bologna.
Altre attività
-Membro del Consiglio della Commission on History and Philosophy of Computing della International Union for History and Philosophy of Science (Division for History of Science and Technology (DHST) e Division for Logic, Methodology and Philosophy of Science (DLMPS)) 2017-2023.
- Membro del Consiglio direttivo del CINI (Consorzio
Interuniversitario Nazionale per l'Informatica), su nomina del Ministro per la Semplificazione e la Pubblica Amministrazione,
dal 2015 al 2018.
- Membro dello Executive Board of EQANIE ( European Quality
Assurance Network for Informatics Education),
2015-2017, in rappresentanza del GRIN (Gruppo dei ricercatori italiani di Informatica).
- Membro del Scientific Board of European Association for Computer
Science Logic (EACSL), dal 1998 al 2009.
- Membro del consiglio direttivo della Associazione
Italiana di Logica e Applicazioni (AILA), 2005-2011.
Comitati programma: History and Philosophy of Computing 2021 (ETH, Zurich); History of formal methods 2019 (Porto); History and Philosophy of Computing 2019 (Bergamo); History and Philosophy of Computing 2017 (Brno); TAMC 2017 (Bern); Logic in Computer Science 2015 (Kyoto);
Linearity 2014 (Vienna); History and Philosophy of Computing 2013
(Paris), CS in Russia 2013 (Ekaterinburg), Linearity 2012
(Tallinn), Fopara 2011 (Madrid), DICE 2011 (Cyprus), XXIV
Incontro di Logica (2011, Bologna), CSL 2009 (Coimbra),
RULE 09 (Brasilia), CSL 2008 (Bologna, Chair), TLCA
2007 (Paris), Linear logic, ludics, implicit complexity,
operator algebras (Siena, 2007), Logic, Models, and Computer
Science (Camerino, 2006), ICTCS 2003 (Bertinoro), CSL 1995
(Paderborn), CSL 1992 (San Miniato).
Interessi di ricerca correnti:
- Fondamenti dei linguaggi di programmazione, logica nell'informatic
- Type systems, polymorphism
- Storia e filosofia dell'informatica
- Didattica dell'infomatica
