Laboratori di ricerca

Laboratorio ALTAIR
Al laboratorio di robotica ALTAIR afferiscono i ricercatori impegnati nella studio dei sistemi intelligenti e robotici, dal punto di vista del controllo, dell'interazione uomo macchina, della modellistica matematica, della sicurezza, dell'analisi delle proprieta' formali e della pianificazione delle attivita' e del cammino.
 
Laboratorio di Fisica Applicata
Laboratorio di Fluorescenza
Laboratorio di Spettroscopia Raman
Laboratorio ESD (Electronic Systems Design)
Il laboratorio fornisce il supporto hw e sw per la progettazione di dispositivi digitali e per la realizzazione dei relativi strumenti CAD
Laboratorio IRIS
Laboratorio NAVLAB
Laboratorio NES (Networked Embedded Systems)
Il laboratorio fornisce il supporto hw e sw per la progettazione di sistemi embedded di rete
Laboratorio OPDATE
Laboratorio PARCO (Parallel Computing)
The PARCO (Parallel Computing) lab is devoted to the development, analysis, and tuning of parallel code for multi-core and many-core (GPU) architectures.
It provides HW and SW environment for developing in CUDA, OpenCL, OpenACC, OpenMP, MPI targeting performance, power, and energy consumption design constraints.
Laboratorio SPY (Metodi Formali)

The SPY (Static Program analysis by Abstract Interpretation) lab is devoted to the design and development of automatic tools
based on formal methods and abstract interpretation theory for program analysis, automatic program certification, system testing,
and security analysis of software. We are particularly interested in the application of these techniques to aid in the compilation and
implementation of programming languages. The access to the lab is restricted to the students in Master and PhD thesis and to the
Faculty staff of the Department of Computer Science in Verona. The following is a list of topics which are studied in this Lab:
Semantics and abstract interpretation theory, Semantics based program analysis, Security analysis, Program and system certification,
Model checking and program verification, Programming environments, Domain specific languages and tools.

Laboratorio STARS (Semistructured Temporal clinicAl GeogRaphical Systems)
Laboratorio VIPS (Vision, Image Processing & Sound)