Loading ...
Laureato in Scienze dell'Informazione e Dottore di Ricerca in Informatica all'Università di Pisa. A Bologna dal 2002, è stato ricercatore e professore associato a Pisa, poi ordinario di Informatica a Udine.
È stato Consigliere di Amministrazione dell'Alma Mater (2021-2024) e Direttore del Dipartimento di Informatica-Scienza e Ingegneria (2015-2018).
Ha trascorso lunghi periodi di ricerca a Systems Research Center della Digital Equipment Corporation, Palo Alto; Stanford University; École normale supérieure, Paris; Université Paris 13; University of California at Santa Cruz, Collegium-Institut d'Études Avancées de Lyon (Fellow 2018-2019).
Membro di Focus, INRIA Sophia Antipolis-Méditerranée (2009-2023); consigliere della Commission on History and Philosophy of Computing della Intl. Union for Hist. and Phil. of Sci., 2017-2023.
Ha fatto ricerca sui fondamenti dei linguaggi di programmazione per diversi decenni. Oggi i suoi interessi si sono spostati maggiormente verso l'epistemologia, la storia e la didattica dell'informatica.
Vai al Curriculum