Laboratori di ricerca

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.

OpDATe Lab (Optical Devices and Advanced Techniques)

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.