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

Dottorando

Tutor didattico

parole chiave: pervasive computing, artificial intelligence, sistemi distribuiti, apprendimento multi agente, paradigmi di

Ozalp Babaoglu

Professore ordinario

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

Mattia Barbaresi

Dottorando

Assegnista di ricerca

parole chiave: Intelligenza Artificiale, Sistemi Complessi

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,

Roberto Casadei

Ricercatore a tempo determinato tipo a) (junior)

parole chiave: intelligenza artificiale, paradigmi di programmazione, sistemi collettivi, sistemi distribuiti, pervasive computing,

Anna Ciampolini

Professoressa ordinaria

parole chiave: intelligenza artificiale, sistemi cloud, agenti intelligenti, calcolo ad alte prestazioni, elaborazione di big data,

Antonio Corradi

Professore ordinario

parole chiave: Industria 4.0 e supporto, Sistemi ed infrastrutture cloud, Crowdsensing e mobility as-a-service, Middleware per servizi

Enrico Denti

Professore associato confermato

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

Giorgio Franceschelli

Dottorando

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

Daniela Loreti

Ricercatrice a tempo determinato tipo a) (junior)

parole chiave: Big data, Calcolo ad alte prestazioni, Map reduce, Algoritmi paralleli, Process mining

Moreno Marzolla

Professore associato

parole chiave: Calcolo parallelo, Valutazione delle prestazioni di sistemi, Analisi dei sistemi complessi, Sistemi e Algoritmi

Mirco Musolesi

Professore ordinario

parole chiave: Machine intelligence, Sistemi autonomi, Ubiquitous computing, Machine learning, Intelligenza artificiale, Reinforcement

Andrea Omicini

Professore ordinario

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

Danilo Pianini

Ricercatore a tempo determinato tipo a) (junior)

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

Ricercatore confermato

Michele Solimando

Assegnista di ricerca

parole chiave: Industry 4.0 / 5.0, Cloud Computing, Edge Computing, Industrial IoT, Crowdsensing

Francesco Sovrano

Dottorando

Tutor didattico

parole chiave: Trustworthy Artificial Intelligence, eXplainable Artificial Intelligence (XAI), Deep Reinforcement Learning, Natural

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,