Progetto GALICIA: ospitato il Midterm Workshop a Novara

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.