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 Spettroscopia Raman

Studio e caratterizzazione di nano materiali e dispositivi ottici

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 INFOMICS
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.
Laboratorio IRIS
The IRIS Lab is dedicated to spectroscopy, microspectroscopy and imaging in the near and mid-infrared.
Laboratorio ISLa
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.
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

Condividi