Marco Patrignani

Ricercatore

Dipartimento di Ingegneria e Scienza dell'Informazione

Via Sommarive, 9 - 38123 Povo
tel. 0461 285250
marco.patrignani[at]unitn [dot] it
Area CUN: Scienze matematiche e informatiche (01)
Settore scientifico disciplinare: INFORMATICA (INF/01)
Competenze:
Calcoli di processo
Concorrenza
Linguaggi di programmazione
Linguaggi formali
Metodi formali
Modellazione e simulazione
Modelli formali per la sicurezza
Semantica dei programmi
Sicurezza dei software
Sicurezza informatica
Sistemi di tipo
Verifica formale
Formazione

Si veda la descrizione in inglese.
Note

Personal website: https://squera.github.io/