- 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
Un manoscritto inedito sulle opere biologiche di Aristotele identificato a Vercelli: la scoperta del DISUM pubblicata su Aristotelica
La scoperta del manoscritto aristotelico da parte di un team di ricerca del DISUM apre nuove prospettive sulla conoscenza delle scienze biologiche nei secoli di attività dell’antica Università di Vercelli (XIII-XIV).
- Argomento
- Scienza e Ricerca
Data di pubblicazione 03 Agosto 2026
Il miele di coriandolo per rigenerare l’osso umano. Studio UPO cover story della rivista Pharmaceuticals
Uno studio dell'Università del Piemonte Orientale ha conquistato la cover story della prestigiosa rivista internazionale Pharmaceuticals (MDPI). La ricerca, firmata dai ricercatori del DISIT Simona Martinotti, Elia Ranzato e Gregorio Bonsignore, dimostra come le proprietà molecolari del miele di coriandolo siano in grado di stimolare e accelerare i processi di differenziamento degli osteoblasti umani e di mineralizzazione della matrice ossea attraverso il segnale del calcio intracellulare. Un risultato che apre nuove prospettive nell'ingegneria tissutale e nei biomateriali.
- Argomento
- Scienza e Ricerca
Data di pubblicazione 30 Luglio 2026
Linfoma mantellare: su Journal of Clinical Oncology lo studio UPO che ridisegna il mantenimento clinico
La rivista Journal of Clinical Oncology ha pubblicato lo studio TRIANGLE sul linfoma mantellare, con il professor Marco Ladetto (UPO) come primo autore. La ricerca dimostra che la combinazione di Ibrutinib e Rituximab rappresenta la strategia di mantenimento clinico ideale per i pazienti affetti da questa grave malattia. Il risultato conferma l’eccellenza scientifica dell’Ateneo, evidenziando il prezioso contributo della giovane assegnista di ricerca dottoressa Rita Tavarozzi.
- Argomento
- Scienza e Ricerca
Data di pubblicazione 30 Luglio 2026
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
