Research groups

The group works in representation theory of algebras and module theory.
Research in automated reasoning
Databases and Information Systems
People of this group are involved in research areas regarding informations systems theory and applications
Bioinformatics and Natural Computing
Algorithmic analysis of biological processes.
Biomedical Imaging
The Biomedical Imaging Group is active in Experimental and Translational Biomedical Imaging, with main focuses on Magnetic Resonance and Optical Imaging. The lab is equipped with a MRI Tomograph (Bruker, Biospec 4.7 T) and with an Optical Images (IVIS Spectrum, PerkinElmer).
Calculus of Variations and PDE
Il gruppo si occupa di attività di ricerca nel campo del calcolo delle variazioni, teoria geometrica della misura, teoria del controllo ottimo, teoria del trasporto ottimo, e applicazioni.
Multidisciplinary team to carry out a feasibility study for temperature measurement during robotic radical prostatectomy
INdAM - Unità di Ricerca dell'Università di Verona
Questa pagina è dedicata all'unità di ricerca INdAM dell'Università di Verona.
Interdepartmental research group for the design of IoT systems in the neurological and rehabilitation fields
IRIS Lab - Infra Red for Interdisciplinary Studies
Spettrosocpia Microspettroscopia e imaging nell'Infrarosso
ISLa - Intelligent Systems Lab
Artificial intelligence, statistical learning and data analysis for intelligent systems
Rappresentazione della conoscenza tramite tecniche di IJntelligenza Artificiale
LAPS (Laboratory for Photovoltaics and Solid State Physics)
The lab has is core business on the preparation, fabrication and characterization of second generation thin film solar cells. CdTe thin film solar cells with efficiencies exceeding 15% have been fabricated, also flexible solar cells deposited on polymer foils with more than 10% efficiency have been made. The laboratory is equipped with many different vacuum deposition machines, and electrical and morphological characterization instruments. The laboratory has also a new different area on the characterization on biological samples and nanostructures by atomic force microscopy.
Logica in matematica ed informatica.
Mathematics - applications and modelling

Nanomaterials Research Group
The Nanomaterials Research Group (NRG) mainly deals with: - Luminescent inorganic nanomaterials: preparation, structural, morphological and spectroscopic investigation (absorption and luminescence in the ultraviolet, visible and infrared spectral regions) of inorganic nanomaterials, also of colloidal nature, activated with luminescent lanthanide ions. - Multifunctional colloidal nanostructures for applications in biotechnology and nanomedicine: development of organic-inorganic nanocomposites of colloidal nature for theranostics in biotechnology and nanomedicine, in particular for optical imaging, nuclear magnetic resonance (MRI), nanothermometry, photothermal therapy and photodynamics and investigations on their functional properties. - Surface functionalization of inorganic nanomaterials: chemical attack of ligands or compounds on the surface of inorganic nanomaterials to confer additional functionality (eg solubility, colloidal stability, biocompatibility, bioconjugation, targeting, sensing, controlled release of substances).
Neuroimaging Group

OpDATeCH Lab - Optical Devices and Advanced Techniques for Cultural Heritage
Laboratory of physics applied to cultural heritage: infrared methods, spectral imaging, laser interferometry.
Parallel Computing
Electronic Systems Design (ESD)
Techniques for the automatic design of electronic systems, based on formal languages and correct by construction or formally verified methodologies
The Quantum Informatics Laboratory (QUILAB) brings together researchers from the computer science and physics departments to work on fundamental issues in quantum computation, quantum algorithms and quantum information processing.
REGIS: Research Group in Information Security
Studio e sviluppo di metodologie formali per l'analisi, l'ottimizzazione, la certificazione, la robustezza e la sicurezza di sistemi software complessi
Business process reengineering in health care system and eHealth
Through an interdisciplinary study, the aim of the research group is to analyze and evaluate the impacts that new technologies have on organizational structures and patients.


Visione ed elaborazione delle immagini e suoni (VIPS - Vision, Image Processing & Sound)
Computer Vision and Pattern Recognition, Image Processing, and Sound Analysis & Processing


Research facilities