Vai alla Homepage del Portale
Dipartimento di Informatica - Scienza e Ingegneria

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

foto della persona

Gianluca Aguzzi

Professore a contratto

Dottorando

Assegnista di ricerca

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

Ozalp Babaoglu

Professore ordinario

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

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,
foto della persona

Andrea Borghesi

Ricercatore a tempo determinato tipo b) (senior)

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

Samuele Burattini

Dottorando

Tutor didattico

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

Roberto Casadei

Ricercatore a tempo determinato tipo b) (senior)

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

Anna Ciampolini

Professoressa ordinaria

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

Antonio Corradi

Professore ordinario

Professore a contratto a titolo gratuito

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

Enrico Denti

Professore associato confermato

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

Giorgio Franceschelli

Dottorando

Assegnista di ricerca

Tutor didattico

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

Daniela Loreti

Ricercatrice a tempo determinato tipo a) (junior)

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

Moreno Marzolla

Professore associato

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

Mirco Musolesi

Professore ordinario

parole chiave: Machine intelligence, Machine intelligence, Machine learning, Reinforcement learning, Foundational models, Large
foto della persona

Andrea Omicini

Professore ordinario

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

Danilo Pianini

Ricercatore a tempo determinato tipo b) (senior)

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

Andrea Roli

Ricercatore confermato

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

Davide Rossi

Professore associato

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

Angelo Trotta

Ricercatore a tempo determinato tipo a) (junior)

foto della persona

Mirko Viroli

Professore ordinario

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