Matteo Zavatteri

Foto,  November 13, 2020
Position
Research Scholarship Holders
Academic sector
ING-INF/05 - INFORMATION PROCESSING SYSTEMS
Telephone
+39 045 802 7814
Fax
+39 045 802 7068
E-mail
matteo|zavatteri*univr|it <== Replace | with . and * with @ to have the right email address.

Modules

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


 

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




Organization

Department facilities