Sistemi complessi e autonomi

Soprattutto nell'ambito dei sistemi estremamente dinamici, autonomi, distribuiti e su larga scala, tecniche tradizionali di sviluppo, configurazione e gestione risultano spesso inadeguate, sia in termini di eccessiva complessità che di performance complessive inefficienti. Il DISI è attivo in aree di ricerca correlate alla auto-organizzazione dei sistemi complessi e autonomi, come astrazione fondamentale per raggiungere proprietà self-* attraverso una metodologia bottom up che ci permette di ottenere soluzioni completamente decentralizzate, estremamente robuste e scalabili. Inoltre, vengono investigati modelli di coordinazione avanzati, capaci di fronteggiare l'impredicibilità di comportamento di parti del sistema fuori dal controllo della progettazione, sia per motivi di legacy che di deployment. La ricerca del DISI si concentra sullo studio di questi sistemi, sulla progettazione di modelli per la descrizione di sistemi auto-organizzanti, sull'analisi e la predizione di proprietà fondamentali di questi sistemi complessi, come stabilità, resilienza e capacità di soddisfare determinati livelli di qualità di servizio.

Persone

Gianluca Aguzzi

Professore a contratto

Assegnista di ricerca

Tutor didattico

Ozalp Babaoglu

Professore ordinario

parole chiave: High-Performance Computing, Machine learning, Predictive data analytics, Efficienza energetica, Fault tolerance,

Paolo Bellavista

Professore ordinario

parole chiave: Edge Cloud Computing, Mobile Middleware, IoT Industriale, Online Stream Processing in ambito Big Data, Reti Wireless di

Alessandro Bevilacqua

Ricercatore confermato

parole chiave: visione artificiale 3D, machine learning, pattern recognition, imaging medico e biomedico, imaging aereo e satellitare,

Andrea Borghesi

Ricercatore a tempo determinato tipo b) (senior)

parole chiave: Intelligenza Artificiale, Sistemi ad Agenti, Apprendimento Automatico, Programmazione a vincoli, Ottimizzazione,

Samuele Burattini

Dottorando

Tutor didattico

parole chiave: Pervasive Computing, Human-Computer Interaction, Agent-Oriented Programming, Mixed Reality, Web of Things, Digital Twins

Roberto Casadei

Ricercatore a tempo determinato tipo b) (senior)

parole chiave: ingegneria del software, paradigmi di programmazione, sistemi multi-agente, sistemi distribuiti, intelligenza

Anna Ciampolini

Professoressa ordinaria

parole chiave: intelligenza artificiale, sistemi cloud, agenti intelligenti, calcolo ad alte prestazioni, virtualizzazione di sistemi

Enrico Denti

Professore associato confermato

parole chiave: Sistemi multi-agente, Linguaggi di programmazione, Ingegneria del software orientata agli agenti, Infrastrutture

Giorgio Franceschelli

Assegnista di ricerca

Tutor didattico

parole chiave: Deep Learning, Modelli Generativi, Reinforcement Learning, Creative AI, Proprietà Intellettuale

Özlem Kaya

Dottoranda

Daniela Loreti

Ricercatrice a tempo determinato tipo a) (junior)

parole chiave: Sustainable HPC algorithms, Valutazione e riduzione dei consumi energetici di algoritmi di AI, Algoritmi paralleli,

Enrico Mannocci

Dottorando

Moreno Marzolla

Professore associato

parole chiave: Calcolo parallelo, Sistemi Complessi, Sistemi e Algoritmi Distribuiti, Progettazione e Analisi di Algoritmi,

Mirco Musolesi

Professore ordinario

parole chiave: Intelligenza artificiale, Machine learning, Foundational models, Large language models, Generative Artificial

Ghulam Mustafa

Dottorando

Andrea Omicini

Professore ordinario

parole chiave: simulazione, agenti intelligenti, linguaggi multiparadigma, sistemi autoorganizzanti, calcolo pervasivo, sistemi

Danilo Pianini

Ricercatore a tempo determinato tipo b) (senior)

parole chiave: simulazione, programmazione aggregata, Internet of Things, auto-organizzazione, sistemi complessi, biomimesi

Andrea Roli

Ricercatore confermato

parole chiave: Intelligenza artificiale, Sistemi complessi, Robotica ispirata a sistemi naturali, Robotica collettiva, Complex systems

Davide Rossi

Professore associato

parole chiave: ingegneria del software, tecnologie web, business process management, knwoledge graphs, coordinazione, process modeling

Angelo Trotta

Ricercatore a tempo determinato tipo a) (junior)

Mirko Viroli

Professore ordinario

parole chiave: Linguaggi orientati agli oggetti, Sistemi multiagente, Simulazione e verifica, Coordinazione, Ingegneria del software,