- Argomento
- Scienza e Ricerca
Progetto GALICIA: ospitato il Midterm Workshop a Novara
GALICIA si propone di fornire una piattaforma per la verifica del codice su una serie di casi di test nell'automazione, basata sulla tecnologia Azure. Il progetto prevede una verifica in due fasi: la generazione di codice sorgente a partire da requisiti funzionali in linguaggio naturale e la verifica della conformità di un modello formale del codice generato con le specifiche di sicurezza degli utenti.
Di Riccardo Rubis Passoni
Data di pubblicazione
credits © Novareckon
Il 4 marzo 2025, l'Università del Piemonte Orientale a Novara ha ospitato il Midterm Workshop del Progetto GALICIA, il progetto, finanziato dall'Unione Europea nell'ambito di NGI Sargasso, che si propone di testare un nuovo approccio alla verifica della resilienza digitale, controllando la correttezza e la sicurezza del codice generato da modelli linguistici di grandi dimensioni (LLM). L'evento ha segnato un importante passo avanti nel campo della verifica e validazione del software attraverso l'Intelligenza Artificiale. Organizzato in collaborazione con AI@UPO, il workshop ha attirato professionisti e ricercatori interessati a esplorare le frontiere dell'IA nel settore.
L'evento, che ha potuto contare sulla collaborazione dei professori UPO Luigi Portinale, ordinario di Informatica presso il Dipartimento di Scienze e innovazione tecnologica, e Bianca Gardella Tedeschi, associata di Diritto privato comparato presso il Dipartimento di Studi per l’economia e l’impresa, ha messo in luce le metodologie innovative del progetto GALICIA, in particolare l'integrazione di metodi formali e Modelli Linguistici di Grandi Dimensioni (LLM), con l'obiettivo di migliorare i flussi di lavoro di verifica e validazione (V&V). Questo approccio promette di rivoluzionare il modo in cui il software viene sviluppato e testato, rendendolo più sicuro ed efficiente.
Il workshop ha visto la partecipazione di numerosi relatori, tra cui Franco Alberto Cardillo del Consiglio Nazionale delle Ricerche, che ha offerto una panoramica sulle applicazioni teoriche e pratiche delle tecniche presentate. Il dottor Lorenzo Vandoni di HAL Service S.p.A. Società Benefit e il dottor Alberto Stefanini hanno fornito dimostrazioni pratiche della piattaforma GALICIA, mentre il dottor Jérémie Farret di Mind in a Box ha esplorato l'infrastruttura ibrida LLM del progetto e le sue potenziali applicazioni commerciali.
L'evento all'UPO ha rappresentato un'importante occasione per discutere il futuro della verifica e produzione del software con l'IA, confermando il ruolo dell'ateneo come polo di eccellenza in questo settore.
Ultima modifica 7 Marzo 2025
Leggi anche
Dichiarare il clima un’emergenza OMS: svolta politica o strumento inadeguato? Su Le Scienze intervista al professor Barone Adesi
In un’intervista a Le Scienze, il professor Francesco Barone Adesi (DISSTE) analizza la proposta di far dichiarare all’OMS la crisi climatica come Emergenza di sanità pubblica di rilevanza internazionale (PHEIC). Finora applicato solo a epidemie infettive, questo status accenderebbe i riflettori politici sulla salute e sbloccherebbe aiuti immediati. Tuttavia, la PHEIC è un meccanismo temporaneo e mal si adatta alla natura strutturale del cambiamento climatico, che necessita invece di risorse stabili, interventi di mitigazione e piani anti-calore a lungo termine.
- Argomento
- Scienza e Ricerca
Data di pubblicazione 22 Luglio 2026
Chirurgia d’avanguardia a Novara: rimosso un tumore ovarico di 15 chili con paziente sveglia durante l’intervento
Straordinario intervento multidisciplinare all’Azienda Ospedaliero – Universitaria “Maggiore della Carità” di Novara: una strategia innovativa ha permesso di operare in totale sicurezza una donna di 66 anni affetta da una massa record di 15 kg. Durante l’intervento la donna è rimasta cosciente.
- Argomento
- Scienza e Ricerca
Data di pubblicazione 20 Luglio 2026
Il progetto COLON-META per studiare il rapporto tra esposizione ambientale e tumore del colon
Il progetto di ricerca COLON-META indaga la correlazione tra esposizione a metalli pesanti, microbiota intestinale e adenocarcinoma del colon. Lo studio, a cui partecipa il borsista UPO Marco Garbin, analizzerà campioni clinici e abitudini alimentari di residenti nel territorio alessandrino, con l'obiettivo di raccogliere evidenze scientifiche utili per la prevenzione e la sanità pubblica.
- Argomento
- Scienza e Ricerca
Data di pubblicazione 17 Luglio 2026
Prestigioso riconoscimento per NAVITA, tra le migliori startup italiane per le terapie a RNA
Un importante traguardo per l’innovazione e il trasferimento tecnologico dell’Università del Piemonte Orientale. L'iniziativa imprenditoriale, che vede come proponente il professor Antonio Sica, ordinario di Patologia generale presso il DSF, rappresenta un'eccellenza della ricerca dipartimentale in UPO.
- Argomento
- Scienza e Ricerca
Data di pubblicazione 13 Luglio 2026
