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
Personal Website
Altro
martedì 11 ottobre 2022

Trovate il mio sito personale qui: https://squera.github.io/