-
Algebra
-
The group works in representation theory of algebras and module theory.
-
ARLette
-
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.
-
ROBOTIC PROSTATECTOMY RESEARCH GROUP
-
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.
-
IRIS Lab - Infra Red for Interdisciplinary Studies
-
Spettrosocpia Microspettroscopia e imaging nell'Infrarosso
-
K.Re.Art.I.
-
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
-
Logica in matematica ed informatica.
-
Mathematics - applications and modelling
-
-
OpDATe Lab - Optical Devices and Advanced Techniques
-
Sviluppo di Dispositivi Ottici e Tecniche Ottiche Avanzate
-
PARCO
-
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
-
QUILAB
-
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.
-
Robotics
-
-
SPY
-
-
Visione ed elaborazione delle immagini e suoni (VIPS - Vision, Image Processing & Sound)
-
Computer Vision and Pattern Recognition, Image Processing, and Sound Analysis & Processing
