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.
Il corso si occupa dei temi considerati di maggior rilievo nell’ambito della Digital Culture. Di seguito un’introduzione ai principali argomenti affrontati nel corso: