Laurea in Computer Science, Pisa, 1983
Ph.D. in Computer Science, Pisa, 1988
Permanent positions:
- Univ. Bologna, professor, since 2002.
- Univ. Udine, professor, from 1994 to 2002.
- Univ. Pisa, associate professor, from 1992 to 1994; research fellow, from 1988 to 1994.
Member of the Board of Governors of Università di Bologna, 2021-2014.
Head of the Department of Computer Science and Engineering, May 2015 - May 2018.
Visiting positions:
- Collegium - Lyon Institute for Advanced Studies, Sept 2018 - June 2019 (fellow; sabbatical leave);
- Université Paris 13, LIPN, Nov-Dec.
2010
- University of California at Santa Cruz, July 2007
- Université Paris 13, LIPN, Nov-Dec. 2004
- Ecole Normale Sup., Parigi, Nov-Dec. 1992
- Stanford Univ., a.y. 1989 -1990
- Digital Eq. Co., System Res. Center, summer 1986 (internship).
Direction of PhD thesis:
He has supervised a dozen of PhD students, whose careers have ranged from industry to academia (professors, consultants, members of the Italian Parliament, etc.). Some of his students are professors in Paris, Udine, Bologna.
Committees:
- Member of Council of Commission on History and Philosophy of Computing della International Union for History and Philosophy of Science (Division for History of Science and Technology (DHST) and Division for Logic, Methodology and Philosophy of Science (DLMPS)) 2017-2023.
- Member of the directive board of CINI (Consorzio Interuniversitario Nazionale per l'Informatica), representing the Ministry of Public Administrtion, 2015 -- 2018. - Member of the Executive Board of EQANIE ( European Quality Assurance Network for Informatics Education), 2015-2017. Member of Scientific Board of European Association for Computer Science Logic (EACSL), 1998-2009.
- Member of the Executive board of Associazione Italiana di Logica e Applicazioni (AILA), 2005-2011.
Program committees:
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).
Current research interests:
- Foundations of programming languages,
logic in computer science
- Type systems, polymorphism
- History and philosophy of computing
- Computer science teaching
