Matteo Zavatteri

  1. Home
  2. Dipartimento
  3. Persone
  4. 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.

Corso Nome Crediti totali Online Crediti del docente Moduli svolti da questo docente
Laurea magistrale in Computer Engineering for Robotics and Smart Industry Systems design laboratory (2022/2023)   6  eLearning 2 
Laurea magistrale in Computer Engineering for Robotics and Smart Industry Systems design laboratory (2021/2022)   6  eLearning 2 

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.

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