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 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
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.
Riproduzione riservata © Copyright ANSA
