Il Laboratorio di Intelligenza Artificiale si occupa di sviluppo e sperimentazione di modelli, metodi, strumenti e tecnologie dell’Intelligenza Artificiale, incluso la definizione di Sistemi Dinamici Discreti (Automi Cellulari e Sistemi Multi Agente), e l’ingegneria e rappresentazione della conoscenza

Responsabile: Stefania Bandini

Stanze: 1035

Il laboratorio BisLab si occupa di sicurezza nel settore dell’Information Technology. 

Responsabile: Claudio Ferretti

Stanze: T006, T007

Si occupa dello studio, disegno, analisi teorica e sperimentazione di algoritmi e strutture dati per problemi in vari contesti applicativi che richiedono particolare attenzione all’efficienza computazionale.

Responsabile: Paola Bonizzoni

Stanze: 1001

Il laboratorio di Computational Systems Biology si occupa dello sviluppo e applicazione di nuovi approcci di modellazione matematica e di metodi computazionali per l’analisi di sistemi biologici, con l’obiettivo di individuare e controllare i meccanismi intracellulari e intercellulari che causano l’insorgenza di patologie complesse.

Responsabile: Daniela Besozzi

Stanze: 1046

L’attività di ricerca del laboratorio di Data and Computational Biology si concentra sull’analisi di dati genomico-molecolari soprattutto in ambito “Cancer Research” e sulla modellazione e simulazione di vari fenomeni biologici legati a problematiche di somministrazione di terapie.
In questi contesti le attività del laboratorio si sono concentrate sulla ricostruzione di modelli di progressione dei tumori, sullo studio più generale di “cancer evolution”, sulla costruzione di terapie ottimali (e.g., per la leucemia cronica mieloide – CML) mediante l’utilizzo di metodologie proprie della Teoria del Controllo e sullo studio di metodi per l’esplorazione di diversi regimi metabolici (metabolic rewiring) in vari organismi e nel cancro.

Il Lab DCB ha sviluppato algoritmi e strumenti per l’analisi di dati di popolazioni di pazienti e di dati Single-cells e Bulk-sequencing provenienti da singoli pazienti (cfr. TRONCO).  Questi strumenti sono anche stati integrati negli strumenti e metodi di analisi dei regimi metabolici (cfr. MAREA) sempre sviluppati dal Lab DCB.

Responsabile: Marco Antoniotti

Stanze: 1047

Il laboratorio è attivo su numerose aree tra le quali: Color Imaging, Image, Video e Audio Processing, Visual Information Systems; Image quality; HCI e Biometrics

Responsabile: Raimondo Schettini

Stanze: 1038, 1048

Il laboratorio è particolarmente attivo sul tema della machine perception sia indoor sia outdoor

Responsabile: Domenico Giorgio Sorrenti

Stanze: 1020, U-1i117

Tematiche di ricerca: studio di algoritmi per la gestione di dati; analisi e presentazione di dati da piattaforme di elearning; metodologie collaborative di apprendimento in piattaforme tematiche educazionali.

Responsabile: Matteo Dominoni

Stanze: T036

Il laboratorio si occupa della definizione di modelli e tecniche per la realizzazione di sistemi per l'accesso alle informazioni

Responsabile: Gabriella Pasi

Stanze: T037

Le ricerche riguardano il trattamento formale di Sistemi Complessi e Incerti, loro modellazione e applicazioni e la rappresentazione e gestione di conoscenza incerta, tramite logiche non-classiche

Responsabile: Alberto Dennunzio

Stanze: T032

Il laboratorio INSID&S si occupa di sviluppare modelli basati su tecniche semantiche e interazione uomo-macchina per supportare la gestione di dati di grandi dimensioni e servizi a valore aggiunto.

Responsabile: Flavio De Paoli

Stanze: 1021, 1022, 1033, T035

Il laboratorio ospita attività formative (tesi, tirocini) e attività di ricerca nella ambito della rappresentazione e gestione di diverse forme di incertezza, con applicazione all’apprendimento automatico di modelli predittivi e discriminativi e ai sistemi di supporto alle decisioni, di cui è studiato anche l'elemento socio-tecnico e quelli relativi alla interazione uomo-macchina e alla collaborazione mediata dalle nuove tecnologie, in particolare in ambito medico.

Responsabile: Federico Cabitza

Stanze: T032

Il laboratorio si occupa di data e text mining con modelli grafici probabilistici, con riferimento specifico a reti bayesiane, reti bayesiane a tempo continuo e classificatori bayesiani a tempo continuo.

Responsabile: Fabio Stella

Stanze: T004, T005

Il laboratorio si occupa della definizione di metodi e modelli di machine learning, big data analytics e ottimizzazione per lo sviluppo di sistemi di supporto alle decisioni in condizioni di incertezza.

Responsabile: Enza Messina

Stanze: 1041, 1042

Il laboratorio si occupa di studiare modelli e tecniche di specifica formali per l'analisi e la sintesi di sistemi concorrenti e distribuiti.

Responsabile: Pomello Lucia

Stanze: 1034

Il laboratorio si occupa della definizione di algoritmi e metodi per l'elaborazione dei segnali, dai segnali multimediali (audio, immagini e video), a quelli fisiologici ed elettrofisiologici (risposta galvanica della pelle, frequenza cardiaca, elettromiografia, elettroencefalogramma).

L'analisi di segnali eterogenei e multimodali può essere utile in diversi campi di ricerca interdisciplinari e per questo motivo il laboratorio collabora con diversi altri dipartimenti, tra cui psicologia, scienze della formazione, statistica e con il centro NeuroMI (Milan Center for Neuroscience).

Tra le linee di ricerca principalmente attive vi sono tutte quelle legate all’affective computing e alla Brain Computer Interface, in particolare attraverso l’impiego di dispositivi indossabili.

Responsabile: Francesca Gasparini

Stanze: 1013

Il Laboratorio di Calcolo Naturale svolge ricerca su modelli di calcolo innovativi, che traggono ispirazione da fenomeni naturali di tipo diverso o utilizzano materiali presenti in natura (ad esempio biomolecole) per memorizzare ed elaborare le informazioni.

Responsabile: Claudio Zandron

Stanza: 1046

Il laboratorio sviluppa metodi e tecniche per la comprensione e il controllo di ambienti complessi che evolvono in real-time.

Responsabile: Fabio Sartori

Stanze: T009

Il laboratorio SAL lavora alla definizione, sviluppo e sperimentazione di modelli architetturali, metodologie e strumenti per affrontare le sfide poste dai domini applicativi emergenti

Responsabile: Daniela Micucci

Stanze: 1039, 1040

L’attività del laboratorio riguarda analisi empiriche in software engineering e software evolution,  applicazione di tecniche di machine learning per la software evolution, sviluppo di strumenti di supporto al software quality assessment

Responsabile: Francesca Arcelli

Stanze: 1040

Il laboratorio di test e analisi del software svolge ricerca su metodi per la validazione e la verifica dei sistemi software, sulla definizione di tecniche per il test del software, sull'analisi dinamica e statica dei programmi e sulla realizzazione di sistemi self-healing

Responsabile: Leonardo Mariani

Stanze: T033, T034