Matteo Zavatteri

Foto,  13 novembre 2020
Qualifica
Incaricato alla ricerca
Settore disciplinare
INF/01 - INFORMATICA
Telefono
+39 045 802 7814
E-mail
matteo|zavatteri*univr|it <== Sostituire il carattere | con . e il carattere * con @ per avere indirizzo email corretto.

Insegnamenti

Insegnamenti attivi nel periodo selezionato: 2.
Clicca sull'insegnamento per vedere orari e dettagli del corso.

Per la comunità studentesca

Se sei già iscritta/o a un corso di studio, puoi consultare tutti gli avvisi relativi al tuo corso di studi nella tua area riservata MyUnivr.
In questo portale potrai visualizzare informazioni, risorse e servizi utili che riguardano la tua carriera universitaria (libretto online, gestione della carriera Esse3, corsi e-learning, email istituzionale, modulistica di segreteria, procedure amministrative, ecc.).
Entra in MyUnivr con le tue credenziali GIA: solo così potrai ricevere notifica di tutti gli avvisi dei tuoi docenti e della tua segreteria via mail e a breve anche tramite l'app Univr.

MyUnivr
 

Gruppi di ricerca

Algoritmi
Il gruppo persegue lo studio degli aspetti strutturali di problemi fondamentali in informatica e dei loro modelli. Lo scopo è porre le basi per la progettazione di algoritmi protocolli e sistemi migliori e comprenderne i limiti computazionali. Aree specifiche di interesse includono: progettazione di algoritimi, strutture dati, algoritmi su stringhe, complessità, ottimizzazione combinatoriale, codici e teoria dell’informazione, machine learning. I problemi investigati hanno forti connessioni con le aree della bioinformatica, delle reti di comunicazione, della ricerca operativa e dell’intelligenza artificiale.
ForME - Metodi Formali per la Progettazione di Sistemi Ingegneristici
Obiettivo del gruppo di ricerca è applicare metodi formali alla modellazione, verifica e sintesi di sistemi ingegneristici. I domini spaziano dai sistemi temporizzati per andare fino ai sistemi ciberfisici non lineari.
REGIS: Research Group in Information Security
Studio e sviluppo di metodologie formali per l'analisi, l'ottimizzazione, la certificazione, la robustezza e la sicurezza di sistemi software complessi




Altri incarichi
Matteo Zavatteri
Carica Organo collegiale
componente Collegio Didattico di Informatica - Dipartimento Informatica

Organizzazione

Strutture del dipartimento