Matteo Zavatteri

  1. Home
  2. Department
  3. People
  4. Matteo Zavatteri
Foto, November 13, 2020
Position
Research Assistants
Academic sector
INF/01 - INFORMATICS
Telephone
+39 045 802 7814
E-mail
matteo|zavatteri*univr|it <== Replace | with . and * with @ to have the right email address.

Modules

Modules running in the period selected: 2.
Click on the module to see the timetable and course details.

Course Name Total credits Online Teacher credits Modules offered by this teacher
Master's degree in Computer Engineering for Robotics and Smart Industry Laboratorio per la progettazione dei sistemi (2022/2023)   6  eLearning 2 
Master's degree in Computer Engineering for Robotics and Smart Industry Laboratorio per la progettazione dei sistemi (2021/2022)   6  eLearning 2 

News for students

There you will find information, resources and services useful during your time at the University (Student’s exam record, your study plan on ESSE3, Distance Learning courses, university email account, office forms, administrative procedures, etc.). You can log into MyUnivr with your GIA login details: only in this way will you be able to receive notification of all the notices from your teachers and your secretariat via email and soon also via the Univr app.

MyUnivr
 

Research groups

Algorithms
The group investigates structural aspects of fundamental problems in Computer Science and their mathematical models. This leads to the design of better algorithms protocols and systems as well as understanding of their implicit computational limits. Specific areas of interests include: algorithm design, data structures, string algorithms, computational complexity, combinatorial optimization, coding and information theory, machine learning. Most results obtained are in the intersection of algorithmics with several other areas in theory and applications, including bioinformatics, communication networks, operating research and artificial intelligence.
ForMe - Formal Method for the Design of Engineering Systems
The aim of the research group is to apply formal methods to modelling, verification and synthesis of engineering systems. The domains range from timed systems to nonlinear cyberphysical systems.
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



Other positions held
Matteo Zavatteri
Office Collegial Body
member Computer Science Teaching Committee - Department Computer Science

Organization

Department facilities