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

IRIS Lab - Infra Red for Interdisciplinary Studies
Spettrosocpia Microspettroscopia e imaging nell'Infrarosso
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

OpDATe Lab - Optical Devices and Advanced Techniques
Sviluppo di Dispositivi Ottici e Tecniche Ottiche Avanzate
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


Unità di Farmacovigilanza
Ricerche nell'ambito delle reazioni avverse da farmaci e sull'utilizzazione dei farmaci nelle popolazioni
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