Ricercatore GSSI medaglia d’oro per la verifica di software

L’Aquila – Omar Inverso, ricercatore in Informatica al GSSI dell’Aquila, ha vinto la medaglia d’oro nella competizione internazionale SV-COMP 2020, in cui si misurano i migliori progetti di ricerca al mondo per verificare il funzionamento di sistemi software in maniera automatica.

Il tool Lazy-CSeq, sviluppato da Omar Inverso, si è classificato primo nella categoria dedicata ai programmi concorrenti, cioè quelli che prevedono l’elaborazione di più processi in parallelo, come nel caso dei sistemi operativi per smartphone. Il ricercatore del GSSI, che ha sviluppato da solo il suo Lazy-CSeq nel corso degli ultimi quattro anni, ha battuto la concorrenza di altri progetti realizzati all’interno di gruppi di ricerca che fanno capo a prestigiose università europee, asiatiche e americane. È il caso dei secondi e terzi classificati, rispettivamente un gruppo cinese della National University of Defense Technology di Changsha e uno tedesco della LMU-Ludwig Maximilian University di Monaco, entrambi centri di eccellenza mondiali per l’Informatica.

Per Omar Inverso, che sarà premiato il 30 aprile a Dublino, questo successo fa seguito a quelli delle passate edizioni, che lo hanno già visto conquistare nel 2016 un oro e un argento, nel 2017 un argento e un bronzo, nel 2019 di nuovo un argento.

23 Dicembre 2019

Categoria : Scienze