-
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
-
ISLa - Intelligent Systems Lab
-
Artificial intelligence, statistical learning and data analysis for intelligent systems
-
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
-
-
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.
-
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