UniBo's logo
Official home page
Simone's 60th Birthday
Olimpiadi di Problem Solving
Accademia delle Scienze di Bologna
Collegium de Lyon
Privacy policy
Università di Bologna
Dipartimento di Informatica — Scienza e Ingegneria
Simone Martini
Simone Martini

Professor of Computer Science
Department of Computer Science and Engineering

Member of the Board of Governors of Università di Bologna, 2021-2024

Research Team FOCUS, Inria Sophia Antipolis-Méditerranée
Fellow at the Collegium - Lyon Institute for Advanced Studies, 2018-2019


Simone Martini received the Laurea degree in Scienze dell'Informazione and the Dottorato di Ricerca in Informatica (Ph.D. in Computer Science) from Università di Pisa. Before joining Università di Bologna in 2002, he has been Research Associate and Associate Professor at Università di Pisa, and Professor of Computer Science at Università di Udine. He has been Head of the Department of Computer Science and Engineering, May 2015 - May 2018.

In 2018-2019 he has been in sabbatical leave, as a Fellow at the Collegium - Lyon Institute for Advanced Studies.

He has been a visiting scientist at the former Systems Research Center of Digital Equipment Corporation, Palo Alto (internship); at Stanford University; at École normale supérieure, Paris; at Université Paris 13; and at University of California at Santa Cruz.

He is a member of the Council of the Commission for the History and Philosophy of Computing, of the International Union for History and Philosophy of Science, 2017-2023.

Until 2018, he has been a member of the Directing Board of Consorzio Nazionale Interuniversitario per l'Informatica (CINI) and of the Executive Board of EQANIE, the European Quality Assurance Network for Informatics Education. He has also been a member of the Board of the European Association for Computer Science Logic (EACSL) and of the Executive Board of the Associazione Italiana di Logica e Applicazioni (AILA).

His research interests are in the logical foundations of programming languages, and on history and philosophy of computer science. He has written papers in lambda-calculus, type theory, linear logics, implicit computational complexity, history and philosophy of computing.

His Erdös number is 3 (via Scedrov to Blass to Erdös).