Research laboratories

ALTAIR Laboratory
The robotics laboratory ALTAIR includes researchers addressing the development of intelligent robotic systems, from the points of view of control theory, man-machine interaction, mathematical modeling, safety and security, formal properties, and task and motion planning.
ESD (Electronic Systems Design) Laboratory
This lab provides hardware and software support for designing digital devices and developing relevant CAD tools.
Networked Embedded Systems (NES) Laboratory
This lab provides hardware and software support for the design of networked embedded systems.
SPY ( Formal Methods) Laboratory
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.
STARS (Semistructured Temporal clinical Geographical Systems)Laboratory
VIPS (Vision, Image Processing & Sound) Laboratory
Laboratorio di Fisica Applicata
Laboratorio di Fluorescenza
Laboratorio di Spettroscopia Raman
Laboratorio IRIS
Laboratorio NAVLAB
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.