Ricerca | Progetti Finanziati

Il progetto si propone di esplorare e sviluppare nuovi paradigmi di interazione uomo-macchina attraverso l¿impiego di tecniche interattive avanzate con dispositivi smart, la definizione ed implementazione di linguaggi grafici e l¿uso dell¿intelligenza artificiale (IA) sia per l¿innovazione didattica che per lo sviluppo di software. In primo luogo, si intende migliorare l¿esperienza utente su dispo

La diffusione dei modelli linguistici di grandi dimensioni (LLM) ha reso urgente l¿analisi dei meccanismi con cui questi sistemi possono essere manipolati tramite prompt malevoli, volti ad aggirare vincoli etici e comportamentali e a indurre la generazione di contenuti inappropriati, pericolosi o fraudolenti.Il progetto intende contrastare questi rischi proponendo un approccio ibrido che combina

- Progettazione ed analisi di protocolli efficienti per computazione sicura tra due parti- Developing automated methods for insight extraction and feature selection to address challenging prediction problems in big-data scenarios- Sviluppare metodologie avanzate per la messa in sicurezza dei veicoli connessi.- Progettare ed analizzare schemi per il controllo anonimo degli accessi a risorse cond

Il progetto ha lo scopo di esplorare alcune questioni fondamentali, sia di tipo metodologico/teorico che di natura applicativa, che sorgono nell'ambito delle reti complesse.Gli obiettivi della ricerca sono volti ad ottenere un avanzamento dello stato dell'arte relativamente alle tematiche seguenti.1. Problemi algoritmici intrinseci alle reti complesse, in particolare:- Dinamiche di propagazi

Obiettivi della ricerca riguardano la formulazione, l'analisi e il confronto di modelli di sistemi dinamici soggetti a perturbazioni ambientali di tipo stocastico. Saranno presi in considerazione sistemi di servizio, crescite di popolazioni, sistemi SIR e sistemi di attività neuronale. Lo studio dei modelli costruiti sarà effettuato tramite l'analisi di processi stocastici, generalmente non omogen

L¿obiettivo del progetto di ricerca si focalizza ingegnerizzazione di Sistemi AI-enabled e sulla verifica e convalida automatica della qualità e della sicurezza di sistemi software. In particolare, saranno definiti e sperimentati di metodi, tecniche e strumenti a supporto dell¿ingegnerizzazione di sistemi software AI-enabled in grado di garantire non solo la correttezza funzionale, ma anche la qu

L'ideazione e lo sviluppo di strumenti automatici per le verifiche di correttezza nei sistemi digitali costituiscono un'area di ricerca di grande interesse. I metodi formali hanno giocato e giocano un ruolo rilevante in questo ambito e hanno portato negli anni allo sviluppo di strumenti di successo come ad esempio i model-checkers. Se da un lato questa tecnologia si è rivelata essenziale per l'ind

La ricerca si propone di sviluppare modelli di apprendimento automatico (ML) multimodali per l'individuazione della misinformazione, integrando l'analisi di contenuti testuali (coerenza semantica e Visual Question Answering ¿ VQA), audio (manipolazioni sonore) e video (rilevamento di deepfake). L¿obiettivo è di impiegare il Federated Learning per la protezione dei processi di addestramento non a d

Il progetto mira a sviluppare tecniche di apprendimento automatico capaci di operare in contesti distribuiti, dinamici e caratterizzati da risorse computazionali limitate, quali quelli legati all¿Internet of Things. In particolare, ci si propone di sviluppare tecniche di Learning capaci di adattarsi a dispositivi eterogenei, di raggiungere il giusto compromesso tra costi di comunicazione e carico

Il progetto AI4Health mira a sviluppare soluzioni intelligenti per la diagnosi precoce e la prevenzione predittiva di patologie croniche e disturbi psichiatrici, integrando tecniche avanzate di intelligenza artificiale. Mediante ML, elaborazione di segnali biometrici e interazione uomo-robot, saranno realizzati sistemi di supporto decisionale basati su explainable AI per aumentare la fiducia clini

Il progetto di ricerca si focalizzerà su progettazione e sviluppo di sistemi intelligenti e applicazioni software, in diversi ambiti: 1) progettazione ed implementazione di strumenti automatici e semi-automatici a supporto degli sviluppatori durante le attività di identificazione e rimozione di problemi di progettazione a diversi livelli di astrazione nel contesto dello sviluppo software. 2) stu

Obiettivo del progetto è sviluppare la ricerca nel campo della combinatoria delle parole, sia in ambito teorico sia per affrontare problematiche legate ad altre discipline, come la biologia, anche con l¿uso di tecniche innovative, ad esempio l¿applicazione di modelli di Machine Learning (ML). In particolare, si prevede di sviluppare le seguenti linee di ricerca:(a)Studio di insiemi isometrici di

Obiettivo del progetto è sviluppare la ricerca nel campo della combinatoria delle parole (CoW) per affrontare problematiche legate ad altre discipline, in particolare alla biologia. Il legame ha una duplice direzione. Alcune linee di ricerca affrontano problemi che emergono da un⿿altra disciplina e ne rappresentano o modellano gli aspetti fondamentali. Altre individuano in proprietà o ambiti ⿿not

Il progetto di ricerca si propone di esplorare e sviluppare tecniche avanzate per migliorare l'interazione uomo-macchina attraverso l'uso di dispositivi smart, applicazioni di intelligenza artificiale e sistemi informativi medici interoperabili. Gli obiettivi specifici includono: 1) Esplorare e sviluppare tecniche interattive con dispositivi smart come smartwatch, smart TV, tavoli touch e sensori

La guerra cognitiva rappresenta una nuova frontiera nelle strategie di conflitto, dove la manipolazione dell'informazione e la distorsione della realtà diventano armi potenti. Essa richiede una strategia complessa di manipolazione delle varie fonti di informazione accessibili dai cittadini. In questo contesto, l'Intelligenza Artificiale (IA) e in particolare l'Intelligenza Artificiale Generativa

Il progetto si articola su 9 task che ne individuano gli obiettivi di ricerca: - Algoritmi per la mitigazione di minacce a sistemi IoT e infrastrutture di rete - Nuove architetture di reti neurali per il rilevamento non supervisionato di anomalie nel traffico di rete - Soluzioni di Quantum Federated Learning tollerante al rumore quantistico e ad attacchi - Schemi per il controllo degli accessi pr

Obiettivi specifici della ricerca riguardano la formulazione, l'analisi e il confronto di modelli di sistemi dinamici soggetti a perturbazioni ambientali di tipo stocastico. Saranno presi in considerazione sistemi di servizio, crescite di popolazioni, sistemi SIR e sistemi di attività neuronale. Lo studio dei modelli costruiti sarà effettuato tramite l'analisi di processi stocastici, generalmente

L⿿obiettivo del progetto di ricerca si focalizza sulla qualità nell⿿ambito dello sviluppo del software, con particolare riferimento ai seguenti contesti: 1) individuare un approccio di sicurezza by-design per lo sviluppo di sistemi software, migliorando sicurezza e qualità del codice sin dalle fasi iniziali. 2) estrazione automatica di requisiti software dalle conversazioni degli stakeholder. 3)

La verifica dei sistemi digitali è un'area di ricerca di grande interesse e c'è una richiesta crescente di strumenti automatici di verifica dovuta anche alla notevole complessità dei sistemi da analizzare. I metodi formali hanno giocato e giocano un ruolo rilevante in questa area e hanno portato allo sviluppo di strumenti automatici di verifica di successo come ad esempio i model-checkers. Se da u

L⿿obiettivo di questa ricerca è sviluppare metodologie innovative per migliorare e valutare l⿿affidabilità dei modelli predittivi, sfruttando metadati di profilazione. Questi ultimi permettono di descrivere proprietà valide su sorgenti dati di diversa natura e di fornire una comprensione più approfondita delle caratteristiche degli stessi. Poiché i modelli valutano proprietà statistiche valide sui

Un modello di linguaggio di grandi dimensioni (Large Language Model - LLM) è un modello computazionale che riesce, ad esempio, a generare testo sulla base di modelli linguistici che imparano da relazioni statistiche tra grandi quantità di testo durante un processo di formazione automatizzato e semi-supervisionato. L'obiettivo della ricerca, ovvero del progetto AI-Powered Agile Development (AI-PAD)

Il progetto di ricerca si focalizzerà sullo sviluppo e la validazione di sistemi intelligenti e applicazioni software, in diversi ambiti: 1) Definizione di metodi automatici per la verifica della qualità e della sicurezza del software, attraverso la generazione di casi di test in grado di identificare efficacemente difetti e vulnerabilità nel codice sorgente. 2) Utilizzo e adattamento di algoritm

Le tematiche che il gruppo di ricerca intende affrontare si possono raggruppare in tre filoni, tra di loro collegati: 1. Si intendono studiare tecniche per la diffusione di informazione in reti complesse e canali a multiaccesso, in assensa di coordinazione tra gli agenti coinvolti. 2. Si intendono studiare tecniche per la previsione dei motif (ovvero, strutture locali ricorrenti) negli ipergrafi u

L⿿obiettivo del progetto è quello di sviluppare la ricerca nel campo della combinatoria delle parole, per studiarne problemi spesso originati in altre aree scientifiche, come la biologia, proporre estensioni di nozioni e risultati fondamentali e indagarne possibili applicazioni. Più in particolare, si prevede di sviluppare le seguenti linee di ricerca: studio di similarità e distanze fra stringhe,

Obiettivo della ricerca è di sviluppare e implementare tecniche innovative in grado di migliorare l'interazione tra uomo e macchina, con particolare riferimento a dispositivi wearable e dotati di touch screen. In particolare, il progetto si propone di studiare e analizzare le diverse possibilità offerte dalle tecnologie interattive, dai linguaggi di alto livello e dall'intelligenza artificiale per

Studio di soluzioni basate su AI e ML di problematiche legate al networking ed alla sicurezza di sistemi informatici.Sviluppo di architetture di reti neurali per la segnalazione di anomalie nel traffico di rete.Investigazione di schemi di autenticazione e di autorizzazione in maniera decentralizzata impiegando Verifiable Credentials e Blockchains.Progettazione ed analisi di protocolli sicuri pe

Il progetto ha lo scopo di esplorare alcune importanti questioni, sia di tipo algoritmico che di natura applicativa, che sorgono nell'ambito delle reti complesse.Il progetto si articola su 4 task fondamentali che ne individuano gli obiettivi di ricerca:1) Dinamiche di propagazione di opinioni in popolazioni e modelli e metodi di immunizzazione di reti;2) Strutture combinatoriali per la diffusio

La ricerca si pone come obiettivi specifici la formulazione, l'analisi e il confronto di modelli di sistemi dinamici soggetti a fluttuazioni stocastiche. Particolare attenzione sarà rivolta a modelli per sistemi di servizio, per crescite di popolazioni e per attività neuronale. Lo studio di tali modelli sarà effettuato tramite l'analisi di processi stocastici, generalmente non omogenei nel tempo,

L⿿obiettivo del progetto di ricerca si focalizza sulla qualità nell⿿ambito dello sviluppo e della manutenzione del software, con particolare riferimenti ai seguenti contesti: 1) la progettazione ed implementazione di strumenti automatici e semi-automatici a supporto degli sviluppatori durante le attività di identificazione e rimozione di problemi di progettazione a diversi livelli di astrazione ne

Con l'avanzamento tecnologico i sistemi digitali diventano sempre più complessi e c'è una richiesta crescente di strumenti automatici per la loro verifica. Il bounded model-checking è una delle tecniche di maggior successo per l'individuazione di bugs e rispetto ad altre tecniche, quali ad esempio il testing, presenta una migliore capacità nell'individuazione di bugs che si manifestano raramente n

La ricerca sul data profiling mira a sviluppare metodi e strumenti per estrarre metadati come vincoli di integrità e dipendenze tra i dati. In questo ambito sono state sviluppate soluzioni che permettono l⿿inferenza automatica di questi metadati da sorgenti di dati eterogenee. Tuttavia, tra le maggiori sfide vi è la necessità di analizzare e definire soluzioni metodologiche che sfruttino i metadat

Una software supply chain è costituita dalle componenti, strumenti e processi per sviluppare e dispiegare software. Chi sviluppa software lo fa assemblando componenti open-source e commerciali. Una Software Bill of Materials (SBOM) è utilizzata per dichiarare l'inventario delle componenti utilizzate in un software. L⿿uso degli SBOM consente di rendere pubblico, tra le altre cose, le vulnerabilità

Il progetto di ricerca si focalizzerà sullo sviluppo e la sperimentazione di sistemi e applicazioni software, in diversi ambiti: 1) Utilizzo e adattamento di algoritmi di computer vision per il riconoscimento delle emozioni attraverso l⿿analisi della posa e della camminata.2) progettazione, realizzazione e validazione di uno strumento di supporto per l⿿identificazione e rimozione del codice mort

Obiettivo della ricerca è il miglioramento delle attuali tecniche di interazione su dispositivi mobili e wearable di varie dimensioni, con diverse tecnologie di input (quali gesti e voce), che includono smartphone, tablet, smart TV, touch table e dispositivi wearable nell'ambito dell'IoT. Si sperimenteranno tecniche per l'inserimento e l'editing di testo anche tramite uso della voce, con applic

L'obiettivo del progetto è quello di sviluppare la ricerca nel campo della combinatoria delle parole e dei linguaggi formali, esaminandone aspetti teorici, estensioni e possibili applicazioni in ambiti diversi. Più in particolare, si prevede di sviluppare le seguenti linee di ricerca: studio delle proprietà delle picture, con particolare riferimento all'overlap con o senza errori, studio di alcune

Il progetto si articola su 10 task fondamentali che ne individuano gli obiettivi di ricerca:-Algoritmi per la mitigazione di minacce a sistemi IoT e infrastrutture di rete-Approccio unificato a compressione e privacy considerando dati uni- e bidimensionali.-Progettazione/analisi protocolli per condivisione distribuita segreti e per calcolo privato funzionalità tra 2 parti. -Costruzione di sche

Obiettivo specifico della ricerca sarà la formulazione, l'analisi e il confronto di modelli di sistemi dinamici soggetti a fluttuazioni stocastiche. Particolare attenzione sarà rivolta a modelli di code, modelli di crescita delle popolazioni e modelli di attività neuronale. Lo studio di tali modelli sarà effettuato tramite l'analisi di processi stocastici, generalmente non omogenei nel tempo, di

L'obiettivo del progetto di ricerca si focalizza sulla gestione della qualità software, con particolare riferimenti ai seguenti contesti: 1) definizione di strumenti automatici e semi-automatici che possano supportare gli sviluppatori durante le attività di identificazione di problemi di progettazione a diversi livelli di astrazione nel codice sorgente e la successiva loro rimozione; 2) definizion

La ricerca di bugs nei sistemi concorrenti è un'attività molto complessa soprattutto se questi si manifestano solo in un numero esiguo di interleavings. In questi casi, strumenti tradizionali quali il testing faticano ad individuarli, e quindi sono da preferire tecniche quali il model-checking che invece effettuano una ricerca esaustiva su tutti i possibili interleavings. In questo progetto si vuo

La ricerca nell'area data profiling mira a definire algoritmi di discovery per diversi tipi di metadati, come dipendenze funzionali e versioni estese delle stesse. Tra le principali sfide sorte in quest'area di ricerca vi è la necessità di sviluppare approcci di discovery che lavorino in modo incrementale, permettendo l'aggiornamento dei metadati validi a valle di modifiche effettuate sui dati. L'

Il progetto di ricerca si focalizzerà sullo sviluppo e la sperimentazione di sistemi e applicazioni software, in diversi ambiti: 1) metodologie per la riduzione dello stress nel contesto delle attività relative alla progettazione ed implementazione di applicazioni software; 2) Impiegare ed adattare algoritmi di computer vision per il riconoscimento della lingua parlata da un individuo dalla sola

La ricerca ha l'obiettivo di produrre algoritmi ed applicativi per questioni che sorgono nell'ambito di sistemi complessi (i.e, sistemi caratterizzati da numerosità di componenti e assenza di regolarità strutturali). Investigheremo questioni che sorgono nei seguenti ambiti:1. Studio delle dinamiche di propagazione di informazioni e di meccanismi di influenza/persuasione in reti sociali. L'obietti