Roberto Zunino

Componente

Commissione per la Scienza Aperta

Professore associato

Dipartimento di Matematica

Via Sommarive, 14 - 38123 Povo

tel. 0461 283970

roberto.zunino[at]unitn [dot] it

Settore scientifico disciplinare: INFO-01/A - Informatica (INFO-01/A)

Competenze:

Calcoli di processo

Linguaggi di programmazione

Logica matematica

Matematica e informatica

Modellazione e simulazione

Modelli computazionali

Modelli formali per la sicurezza

Semantica dei programmi

Sicurezza informatica

Simulazione stocastica

Sistemi di tipo

Sistemi distribuiti

Su appuntamento.

Ultimo aggiornamento venerdì 29 maggio 2015