Due docenti dell’Università di Pisa ricevono il riconoscimento Meta Research Gift

Il premio servirà a finanziare borse di studio per studenti interessati agli aspetti teorici e pratici della verifica di programmi

Importante riconoscimento per il Dipartimento di Informatica dell’Università di Pisa grazie al lavoro di ricerca condotto dai professori Roberto Bruni e Roberta Gori, che hanno ricevuto un Meta Research Gift per l’articolo “A Logic for Locally Complete Abstract Interpretations”, scritto assieme ai colleghi Roberto Giacobazzi (Università di Verona) e Francesco Ranzato (Università di Padova).

Un riconoscimento, quello consegnato da Meta Inc. agli autori, che sottolinea l’alto valore del contributo che questo studio dà al campo della verifica del software in termini di rilevanza, originalità, significato e chiarezza. Tanto da essere stato selezionato anche come “distinguished paper” in occasione dell’edizione 2021 del LICS Symposium, il forum internazionale dedicato ad argomenti teorici e pratici dell’informatica, la cui 36ª edizione si è svolta a Roma.

Grazie al finanziamento previsto dal Meta Research Gift, potranno adesso nascere delle nuove borse di studio dedicate agli studenti interessati agli aspetti teorici e pratici della verifica di programmi. “Siamo molto soddisfatti di questo riconoscimento perché sottolinea l’importanza della ricerca di base” hanno commentato il professor Bruni e la professoressa Gori. “L’articolo premiato nasce da una collaborazione tra le Università di Pisa, Verona e Padova nell’ambito di un progetto di interesse nazionale (PRIN, ASPRA – Analysis of Program Analyses) che affronta alcune tematiche attuali quali l’affidabilità e la correttezza del software”.

“L’idea alla base del lavoro è quella di definire un metodo effettivo per dimostrare che un programma soddisfi certi requisiti oppure, nel caso in cui tali requisiti non siano soddisfatti, per individuare le sorgenti di errore” proseguono i professori Bruni e Gori. “Questo tipo di metodologie sono alla base di strumenti (quali Astrée, Infer, Julia, PolySpace, Pulse-X, Slam e Zoncolan) che sono utilizzati quotidianamente da società che sviluppano applicazioni software di grandi dimensioni per assicurare la qualità delle nuove funzionalità offerte prima che queste vengano messe a disposizione degli utenti”.

“La formazione di esperti nella verifica di proprietà legate alla sicurezza e affidabilità dei programmi” concludono “sta assumendo un’importanza sempre maggiore data la sempre maggiore diffusione del software in tutti gli ambiti della nostra vita, la crescente complessità dei sistemi coinvolti e le nuove sfide che essi pongono. Ringraziamo Peter O’Hearn e Meta inc. che hanno deciso di finanziare la nostra ricerca senza porre nessun vincolo sulle direzioni future dei nostri studi e sulla diffusione dei nostri risultati”.

Contenuti correlati

• 
  Concorso accademico Aveva per reimmaginare l’industria dell’idrogeno grigio

  Sta per concludersi la quinta edizione dell’Aveva Process Simulation Academic Competition, concorso quest’anno focalizzato sul tema dell’ idrogeno, con cui l’industrial software company Aveva invita gli studenti di tutta Europa e Nord America a cimentarsi in una...
• 
  Microcircuiti flessibili contro i tumori: un progetto dell’Università di Pisa

  Gianluca Fiori, docente di Ingegneria Elettronica all’Università di Pisa, è uno dei vincitori del bando ERC Synergy Grant di quest’anno. Gli ERC sono i finanziamenti europei alla ricerca in assoluto più competitivi, e sono riconosciuti a un...
• 
  Slow design vs arredamento ‘usa e getta’: premio GammaDonna 2024

  Puntano sulle tecnologie verdi, sul biotech, sull’AI, non dimenticandosi di digitalizzare i servizi di caregiving, le imprenditrici innovative salite oggi sul palco della Centrale nella Nuvola Lavazza di Torino per la Finale del Premio GammaDonna che dal 2004 valorizza...
• 
  A Gefran il premio “Procurement e Supply Management Excellence Awards”

  Gefran è stata insignita con il “Procurement and Supply Management Excellence Awards 2024” dall’Associazione Italiana Acquisti e Supply Management (Adaci), il principale ente nazionale di rappresentanza per chi opera negli approvvigionamenti, supply management, gestione materiali, logistica e...
• 
  Qui il vincitore dell’Altair Global Student Contest 2023-2024

  Si chiama Luca Sutton, membro del TUfast Eco Team, il vincitore del gran premio dell’Altair Global Student Contest 2023-24. Sutton ha conquistato il premio di 7.500 dollari utilizzando Altair Inspire per ridurre del 41% il peso della sospensione...
• 
  I cobot serie D-Bot di Delta premiati con il Red Dot Award 2024

  Delta ha annunciato che i suoi robot collaborativi (cobot) della serie D-Bot sono stati premiati con il prestigioso “Red Dot: Best of the Best” 2024 per il design e la creatività all’avanguardia. Il premio “Best of the Best” Il riconoscimento...
• 
  Accumulare energia in pochi nanometri

  Una tecnologia innovativa è stata trovata dai ricercatori dei laboratori dell’Università di Pisa: un condensatore permette di accumulare energia in pochi nanometri per applicazioni fino a media e alta frequenza Una tecnologia innovativa per produrre condensatori robusti,...
• 
  Premio Speciale Invitalia all’imprenditorialità femminile

  Invitalia ha istituito il Premio speciale “Imprenditoria Femminile” in collaborazione con la Rete nazionale PNICube e l’Osservatorio Scientifico Imprese Femminili dell’Università di Roma Tor Vergata, riservato alle migliori start-up innovative femminili che partecipano al Premio Nazionale per...
• 
  Controllo remoto di mobile robot: Roboverse Reply premiata all’Elrob 2024

  Roboverse Reply, società del Gruppo Reply specializzata in scenari di integrazione tra robotica e reality capture con mixed reality, è stata premiata come “Best Performance” nella Recon Challenge durante la European Land Robot Trial (Elrob) 2024, il...
• 
  Premio Red Dot per l’elevata qualità del design a Motoman HD7

  Dopo Motoman GP8, MotoMini, Motoman HC10DT IP 67, Motoman HC20DT, Motoman GP4 e SG400, Motoman HD7 di Yaskawa vince il Red Dot Award: Product Design 2024. Con il suo design moderno, la serie HD soddisfa i severi...