Simone
Martini

italiana Professore Ordinario- Direttore Dipartimento di Informatica, Scienza e Ingegneria Università di Bologna Core Faculty
Contatto Email

BIO

Simone Martini ha conseguito una laurea e un Dottorato in Informatica presso l'Università di Pisa. Prima di entrare a far parte dell'Università di Bologna nel 2002, è stato Ricercatore e Professore Associato all'Università di Pisa, e Professore di Informatica all'Università di Udine. É stato visiting scientist al primo Systems Research Center of Digital Equipment Corporation a Palo Alto; alla Standford University; all'École normale supérieure di Parigi all'Università di Parigi 13, e all'Università della California a Santa Cruz. É membro direttivo del Consorzio Nazionale Interuniversitario per l'Informatica (CINI) e dell'Executive Board di EQANIE, the European Quality Assurance Network for Informatics Education. È stato inoltre membro del comitato direzionale dell'European Association for Computer Science Logic (EACSL) e dell' Associazione Italiana di Logica e Applicazioni (AILA). Le sue ricerche sono rivolte principalmente ai fondamenti logici dei linguaggi di programmazione. Ha scritto articoli su lambda-calculus, type theory, linear logics, complessità implicita di computazione, storia e filosofia della computazione.

CORSI