Omar Inverso, ricercatore in Informatica al GSSI dell’Aquila, ha vinto la medaglia d’oro nella competizione internazionale SV-COMP 2020 in cui sono in competizione i migliori
Una medaglia d’oro, due d’argento e tre di bronzo. E’ questo il prestigioso bottino che gli atleti HMD della compagine abruzzese, guidata dal maestro Filippo