|
|
|
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 the University of Bologna in 2002, he was Research Associate and Associate Professor at the Università di Pisa, and Professor of Computer Science at the University of Udine. He was Head of the Department of Computer Science and Engineering (2015 to 2018) and member of the Board of Governors of the University of Bologna (2021 to 2024). 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 the Université Paris 13; at University of California at Santa Cruz, and at the Collegium - Lyon Institute for Advanced Studies (fellow, 2018-1019). He was 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 was a member of the Board of Directors of Consorzio Nazionale Interuniversitario per l'Informatica (CINI) and of the Executive Board of EQANIE, the European Quality Assurance Network for Informatics Education. He was also 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). He has been researching the foundations of programming languages for several decades. Today his interests have shifted more toward the epistemology, history and teaching of computer science. He published papers on lambda-calculus, type theory, linear logic, implicit computational complexity, history and philosophy of computing, CS education. His Erdös number is 3 (via Scedrov to Blass to Erdös). |
||||||||||||||||||||||||||||||||||||||
