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 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
The IRIS Lab is dedicated to spectroscopy, microspectroscopy and imaging in the near and mid-infrared.
Laboratorio LAPS (Laboratory for Photovoltaics and Solid State Physics)
Il laboratorio ha il suo core business sulla preparazione, fabbricazione e caratterizzazione di celle solari a film sottile di seconda generazione che permettono un abbattimento del costo di produzione a fronte di efficienze analoghe a quelle delle celle al silicio.
Laboratorio NAVLAB
The activity of the Lab. is centered on neuroimaging, medical imaging and computational vison. 
Laboratorio NES (Networked Embedded Systems)
Il laboratorio fornisce il supporto hw e sw per la progettazione di sistemi embedded di rete
Laboratorio OPDATE
OpDATe Lab (Optical Devices and Advanced Techniques)
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)
Il gruppo di ricerca di Basi di Dati e Sistemi Informativi del Dipartimento di Informatica dell'Università di Verona si occupa di tutti gli aspetti teorici, tecnologici e metodologici relativi alla gestione delle informazioni all'interno di organizzazioni complesse.
L'attività di ricerca si concentra sui seguenti argomenti:
 
  • Sistemi informativi su web
  • Sistemi informativi temporali
  • Sistemi informativi sanitari
  • Sistemi informativi geografici
Laboratorio VIPS (Vision, Image Processing & Sound)
The Vision, Image Processing & Sound (VIPS) laboratory is active in research issues related to Computer Vision and Pattern Recognition, Image Processing, and Sound Analysis & Processing, devoted to applications involving Human-Computer Interaction (HCI) and Multimedia aspects in general.

Organizzazione

Strutture del dipartimento