Marco Patrignani

Ricercatore (RTD-B)

Dipartimento di Ingegneria e Scienza dell'Informazione

Via Sommarive, 9 - 38123 Povo
tel. 0461 285250
marco.patrignani[at]unitn [dot] it
Settore scientifico disciplinare: INFO-01/A - Informatica (INFO-01/A)
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/