Gruppi di ricerca

Algebra
Il gruppo lavora in teoria delle rappresentazioni di algebre e teoria dei moduli.
ARLette
Ricerca in ragionamento automatico
Basi di dati e Sistemi Informativi
Questo gruppo di ricercatori si occupa di varie tematiche nell'ambito dei sistemi informativi
Bioinformatica e Calcolo Naturale
Analisi algoritmica di processi biologici
Biomedical Imaging
Tecniche di Imaging sperimentali e traslazionali principalmente sulle tecniche di Imaging a Risonanza Magnetica e Imaging Ottico
Calculus of Variations and PDE

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)
Thin film deposition, polycristalline growth and electrical and morphological characterization
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
Progettazione di sistemi elettronici (ESD - Electronic Systems Design)
Tecniche per la progettazione automatica di sistemi elettronici, basate su linguaggi formali e metodologie corrette per costruzioni o formalmente verificate
QUILAB
Quantum Informatics Laboratory
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
Robotica
Il gruppo di ricerca si occupa di robotica non convenzionale
SPY

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

Attività

Strutture di ricerca