Matteo Zavatteri

Foto,  November 13, 2020
Temporary Professor
Academic sector
+39 045 802 7814
+39 045 802 7068
matteo|zavatteri*univr|it <== Replace | with . and * with @ to have the right email address.


Modules running in the period selected: 1.
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 Systems design laboratory (2021/2022)   6   


Research groups

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


Department facilities