Simone Martini

Professore ordinario

Dipartimento di Informatica - Scienza e Ingegneria

Settore scientifico disciplinare: INF/01 INFORMATICA

Temi di ricerca

Parole chiave: Linguaggi di programmazione Storia e filosofia dell'informatica Didattica dell'informatica Logica lineare

Fondamenti dei linguaggi di programmazione

Logica e informatica

Sistemi di tipo; polimorfismo

Storia e filosofia dell'informatica

Didattica dell'informatica

Pensiero computazionale