Ingegneria del software

Sviluppo di meta-modelli avanzati, e relative software factory, per ottenere alta produttività e prototipazione rapida. Teorie, modelli e tecniche di progettazione architetturali che rendano sistematiche la costruzione di strutture software e la loro disciplinata composizione in sistemi.

La domanda globale di sviluppo, estensione e aggiornamento software supererà abbondantemente il ritmo al quale l'industria lo può fornire nel prossimo futuro. Scalare a livelli molto più alti di produttività richiede labilità di configurare rapidamente, adattare e assemblare componenti software per produrre famiglie di sistemi simili ma distinti. Questo richiede una transizione da tecniche artigianali a tecniche industriali avanzate, con una evoluzione simile a quella avuta da altri settori industriali in passato. Al DISI si stanno sviluppando meta-modelli avanzati e relative software factory che vadano in questa direzione di alta produttività e prototipazione rapida. La ricerca si concentra anche su architetture software in cui le teorie, i modelli e le tecniche di progettazione architetturali rendano sistematiche la costruzione di strutture software e la loro disciplinata composizione (inclusi stili architetturali e metodi) in sistemi.

Inoltre, al DISI si lavora su forme avanzate di service-oriented computing, un paradigma di programmazione basato sulla composizione dinamica di servizi provenienti da produttori diversi e indipendenti. Infine, vengono studiati modelli per controllare la complessità di questi sistemi a diversi livelli di astrazione, e linguaggi per programmarli.

Progetti in corso

Persone

Gianluca Aguzzi

Professore a contratto

Assegnista di ricerca

Muhammad Waqas Arshad

Dottorando

parole chiave: informatica quantistica, intelligenza artificiale, Scienza dei dati, Apprendimento profondo e apprendimento automatico

Lorenzo Bacchiani

Assegnista di ricerca

Tutor didattico

parole chiave: Microservizi, Sistemi Distribuiti, Adattabilità Dinamica, Linguaggi di Programmazione

Samuele Burattini

Dottorando

Tutor didattico

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

Roberta Calegari

Professoressa a contratto

Assegnista di ricerca

parole chiave: logic programming, distributed systems, service-oriented architectures, pervasive systems, intelligent systems, LPaaS,

Roberto Casadei

Ricercatore a tempo determinato tipo b) (senior)

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

Paolo Ciancarini

Professore ordinario

parole chiave: Modelli e linguaggi di coordinazione, Architetture multiagente, Web semantico, Informatica ludica, Documenti digitali,

Enrico Denti

Professore associato confermato

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

Saverio Giallorenzo

Ricercatore in Tenure Track L. 79/2022

parole chiave: Linguaggi di Programmazione, Algebre di Processi, Tipi Sessione, Programmazione Coreografica, Microservizi,

Lorenzo Gigli

Assegnista di ricerca

Tutor didattico

parole chiave: Internet of Things, IoT, Web of Things, WoT

Roberto Gorrieri

Professore ordinario

parole chiave: Modelli per la descrizione di sistemi concorrenti, Algebre di Processi e Reti di Petri, Sicurezza, Computazione

Alberto Marfoglia

Dottorando

Moreno Marzolla

Professore associato

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

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

Adnan Riaz

Dottorando

Davide Rossi

Professore associato

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

Silvio Russo

Dottorando

Domenico Scotece

Ricercatore a tempo determinato tipo a) (junior)

parole chiave: Fog Computing, Cloud Computing, IoT, Mobile Edge Computing, Mobile Cloud Computing, Wireless Network, Software Defined

Giancarlo Succi

Professore ordinario

parole chiave: Ingegneria del software empirica, agile methods, open source, metriche software, applicazioni dell'intelligenza

Mirko Viroli

Professore ordinario

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

Fabio Vitali

Professore ordinario

parole chiave: linguaggi di markup, editoria digitale, sistemi ipertestuali, formati documentali, Explainable Artificial Intelligence,

Stefano Pio Zingaro

Ricercatore a tempo determinato tipo a) (junior)

parole chiave: Apprendimento automatico, Microservizi, Intelligenza artificiale, Dispersione scolastica

Ingegneria del software

Progetti in corso

Persone