Altri progetti internazionali
Dipartimento di Scienze Ambientali, Informatica e Statistica

Il progetto HEALTH-AI ha l'obiettivo di colmare il divario tra assistenza sanitaria e Intelligenza Artificiale (AI) fornendo a professionisti e studenti le conoscenze, le competenze e la consapevolezza etica necessarie per un'integrazione sicura ed efficace dell'AI nel contesto sanitario. Si propone di migliorare le competenze in materia di AI attraverso un curriculum di AI adattiva, di rafforzare la collaborazione interdisciplinare e la condivisione delle conoscenze tra informatici e professionisti sanitari attraverso una piattaforma di co-creazione e di promuovere un'adozione responsabile dell'AI attraverso opportune linee guida etiche.

L'obiettivo del progetto EcoDigify è costruire percorsi formativi a livello universitario di carattere interdisciplinare per promuovere la sostenibilità nell'uso e nello sviluppo delle tecnologie digitali. Ciò sarà possibile fornendo ai docenti materiali e strumenti sulla digitalizzazione sostenibile e agli studenti le conoscenze e le competenze per co-creare soluzioni digitali sostenibili con il supporto di esperti di digitalizzazione e ricercatori che operano nel campo della sostenibilità.

ATLAS si propone di apportare un cambiamento positivo per le amministrazioni locali e gli stakeholder nella valutazione e gestione del rapporto tra aree verdi ed edifici storici. Il progetto propone un approccio all'analisi del rischio, con l'obiettivo di sviluppare strumenti innovativi che semplifichino la valutazione dei molteplici pericoli, vulnerabilità e rischi legati alla conservazione del patrimonio e delle aree verdi nelle città storiche, garantendo allo stesso tempo un uso attento dei fondi pubblici. L'obiettivo è anche quello di stabilire protocolli per promuovere l'attuazione di strategie di adattamento e mitigazione sostenibili, basate sulla gestione integrata e partecipata delle aree verdi e delle risorse del patrimonio culturale.

Le policy di controllo degli accessi AWS IAM specificano quali tipologie di risorse cloud AWS sono accessibili da quali identità. Gli SDK AWS consentono agli sviluppatori di accedere in modo programmatico a queste risorse tramite applicazioni che possono essere eseguite da identità diverse. Tuttavia, le tipologie di risorse a cui si accede e le relative modalità dipendono dai valori (principalmente stringhe) calcolati dall'applicazione. Pertanto, prevedere quale politica di controllo degli accessi sia richiesta da una data applicazione è un’attività piuttosto complessa.
In questo progetto, applichiamo tecniche di interpretazione astratta per approssimare per eccesso i valori di stringa calcolati da queste applicazioni e quindi dedurre, convalidare o gestire tramite IAM le politiche di controllo degli accessi.