Gran Sasso Science Institute

Ricercatore GSSI medaglia d’oro per la verifica di software

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.

La verifica formale di software è un settore dell’informatica il cui obiettivo è assicurare il corretto funzionamento dei programmi in ogni possibile scenario. In una società che fa sempre più affidamento su dispositivi elettronici guidati da software di complessità crescente, questa area di ricerca è cruciale e si presta a numerose applicazioni in ambito industriale.

I risultati della competizione per ciascuna categoria di concorso sono consultabili sulla pagina: https://sv-comp.sosy-lab.org/2020/results/results-verified/.



Condividi

    



Commenta L'Articolo




Last Post

Milleproroghe, più risorse per Gran Sasso Scienze Institute

Image Sample “Il Milleproroghe contiene un’altra grande e buona notizia per cui mi sono molto battuta in questi anni e cioè a proroga e l’aumento di ulteriori 4 milioni di euro a decorrere dal 2020 della dotazione finanziaria in favore della Scuola di dottorato internazionale Gran Sas...leggi tutto

Condividi



CON MINISTRO FIORAMONTI INAUGURATO ANNO ACCADEMICO AL GSSI

Image Sample “Il Gran Sasso Science Institute è un esempio di come si possano coniugare scienza e impegno civile senza compromettere l’eccellenza della ricerca. Per questo dobbiamo continuare a investire sul GSSI”. Lo ha detto oggi a L’Aquila Lorenzo Fioramonti, ministro dell&rs...leggi tutto

Condividi



Il GSSI inaugura l’anno accademico alla presenza del Ministro Fioramonti

Image Sample Nella mattinata di martedì 17 dicembre, il GSSI - Gran Sasso Science Institute celebrerà l’inaugurazione del suo settimo anno accademico. La cerimonia avrà inizio alle ore 10:00 nell’auditorium della scuola internazionale di dottorato, nel centro storico dell&rsqu...leggi tutto

Condividi



Eugenio Coccia nelle 100 Eccellenze Italiane 2019

Image Sample Il fisico Eugenio Coccia, rettore del Gran Sasso Science Institute, è stato insignito del premio 100 Eccellenze Italiane 2019. Il riconoscimento sarà ufficialmente conferito in occasione della cerimonia di presentazione del quinto volume 100 Eccellenze Italiane (RDE, 2019)...leggi tutto

Condividi



Edoardo Amaldi e il bosone di Higgs: uno spettacolo e un libro che raccontano la grande scienza

Image Sample “Metti una sera la grande fisica a L’Aquila” è il titolo del doppio appuntamento, gratuito e aperto alla cittadinanza, che avrà luogo lunedì 25 novembre nell’Auditorium del GSSI-Gran Sasso Science Institute, in via Michele Iacobucci 2. Al...leggi tutto

Condividi



Edoardo Amaldi e il bosone di Higgs: uno spettacolo e un libro che raccontano la grande scienza

Image Sample “Metti una sera la grande fisica a L’Aquila” è il titolo del doppio appuntamento, gratuito e aperto alla cittadinanza, che avrà luogo lunedì 25 novembre nell’Auditorium del GSSI-Gran Sasso Science Institute, in via Michele Iacobucci 2. Al...leggi tutto

Condividi



Il GSSI accoglie 30 nuovi dottorandi

Image Sample Il GSSI Gran Sasso Science Institute ha accolto oggi 30 nuovi studenti di dottorato, selezionati tra oltre 1300 candidati. I nuovi dottorandi – arrivati all’Aquila da 22 università di 9 paesi e tre continenti – sono stati protagonisti nel pomeriggio di una cerimonia d...leggi tutto

Condividi



Alessandra Faggian nel Dipartimento Eurispes sul Mezzogiorno

Image Sample Alessandra Faggian, prorettrice con delega alla ricerca e direttrice dell’Area di Social Sciences del GSSI Gran Sasso Science Institute, è stata nominata nel Comitato scientifico del Dipartimento Eurispes sul Mezzogiorno, guidato dall’ex ministro delle Politiche agricole Fr...leggi tutto

Condividi



OpenData, firmato oggi l’accordo quadro Gssi-Comune

Image Sample “OpenData L’Aquila”, firmato oggi l’accordo quadro Gssi-Comune; Coccia e Mannetti: “Più trasparenza e soprattutto tanti vantaggi per cittadini e imprese”     L’Aquila si candida a diventare uno dei primi Comuni in Europa al pa...leggi tutto

Condividi



Alessandra Faggian eletta nel Consiglio Direttivo AISRe

Image Sample Alessandra Faggian, prorettrice con delega alla ricerca e direttrice dell’Area di Social Sciences del GSSI Gran Sasso Science Institute, è stata eletta nel Consiglio Direttivo dell’AISRe, l’Associazione Italiana di Scienze Regionali. L’AISRe è una s...leggi tutto

Condividi



Archivio Post