Laboratori di ricerca

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.
 

Studio e caratterizzazione di nano materiali e dispositivi ottici

Il laboratorio fornisce il supporto hw e sw per la progettazione di dispositivi digitali e per la realizzazione dei relativi strumenti CAD

Il laboratorio InfOmics (Information Omics) è dedicato all'analisi computazionale di dati omici. La nostra ricerca va dall'analisi del genoma alle reti applicate per la comprensione dei sistemi biologici. Sviluppiamo nuovi metodi utilizzando la teoria dei grafi, la teoria dell'informazione, approcci algoritmici e ingegnerizzazione di strutture dati anvanzate.

The IRIS Lab is dedicated to spectroscopy, microspectroscopy and imaging in the near and mid-infrared.

Il laboratorio di Sistemi Intelligenti (Intelligent System Lab, ISLa), si occupa di sviluppare ricerca metodologica e applicata in intelligenza artificiale, apprendimento automatico (machine learning) e analisi dei dati per sistemi intelligenti. Le metodologie studiate includono l'apprendimento per rinforzo (Reinforcement Learning), la pianificazione con incertezza, il coordinamento multi-agente, il modeling probabilistico e l'analisi statistica dei dati.

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.

The activity of the Lab. is centered on neuroimaging, medical imaging and computational vison. 

Il laboratorio fornisce il supporto hw e sw per la progettazione di sistemi embedded di rete

OpDATe Lab (Optical Devices and Advanced Techniques)

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.

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.

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

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.