Simone Martini

Professore ordinario

Dipartimento di Informatica - Scienza e Ingegneria

Settore scientifico disciplinare: INFO-01/A 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