Foto del docente

Simone Martini

Full Professor

Department of Computer Science and Engineering

Academic discipline: INF/01 Informatics

Curriculum vitae

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
He is a permanent member of the research team Focus, INRIA Sophia Antipolis-Méditerranée.

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).    

Graduate International teaching
:
- International  Doctoral Degree in Law, Science and Technology, Torino April 2013. 
- Informatics and its Applications to Science, UNESCO school at University of Aden, Yemen, April 15–21, 2000. 
- Linear International Summer School: Linear Logic and Applications, S.Miguel, Azores, Portugal. August 30–September 7, 2000. 
- Functional Programming, Birla Science Centre, Hyderabad, India. November 13-17, 2000. Course on Proof-theoretical foundations. 
– Optimal reduction for functional programming languages, Dottorato di Ricerca in Informatica, Universita politecnica Valencia, Spain; a.y. 2000/01. 
- Formalware Engineering, Centro Internazionale di Scienze Meccaniche, Udine. September 24- 28, 2001. Chairman of the international school (invited speakers: Abrial, Boerger, Gorm-Larsen, Gurevich, Honsell, Shankar). 
- BISS 2006, Bertinoro International Spring School for Graduate Studies in Computer Science, Bertinoro (Forli), Italy. March 6-17, 2006. Course on Implicit computational complexity. 
- Scuola Estiva AILA, Palazzo Feltrinelli, Gargnano (BS). August 24–29, 2009. Corso su Teoria della complessità.
- International  Doctoral Degree in Law, Science and Technology, Università di Torino, April 11--17, 2013. Corso Foundations of programming languages.

Current research interests:
- Foundations of programming languages, logic in computer science
- Type systems, polymorphism
- History and philosophy of computing
- Computer science teaching