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

• 
  Vario-X conquista il German Innovation Award 2026

  La piattaforma di automazione Vario-X di Murrelektronik è stata insignita del German Innovation Award 2026. La giuria ha premiato l’approccio coerentemente decentralizzato e modulare dell’azienda, che sta ridefinendo l’automazione industriale. Le caratteristiche di Vario-X  Vario-X trasferisce le funzioni chiave...
• 
  Annunciati i risultati del Premio Canada-Italia per l’Innovazione 2026

  Il Premio Canada-Italia per l’Innovazione, giunto alla sua 14a edizione, sostiene, con il rimborso delle spese di un viaggio in Canada, ricercatori, startupper e altri attori dell’ecosistema dell’innovazione in Italia per sviluppare progetti con partner canadesi. I...
• 
  Additive Future Lab: il concorso di manifattura additiva e progettazione digitale dedicato agli studenti degli ITS italiani

  In occasione di 35.BI-MU, la biennale della macchina utensile, in programma a FieraMilano Rho dal 13 al 16 ottobre, AITA – Associazione Italiana Tecnologie Additive, in collaborazione con EFIM – Ente Fiere Italiane Macchine, lancia “Additive Future...
• 
  DigiKey si aggiudica 29 prestigiosi riconoscimenti dai suoi partner fornitori all’EDS Leadership Summit 2026

  DigiKey ha ricevuto 29 riconoscimenti dai suoi partner fornitori in occasione dell’EDS Leadership Summit 2026, tenutosi in maggio a Las Vegas. “DigiKey è fiera di aver ricevuto questi prestigiosi riconoscimenti di settore dai nostri stimati partner fornitori”, ha...
• 
  La community element14 lancia la Smart Transport Design Challenge

  La community Avnet, element14, ha lanciato una nuova Smart Transport Design Challenge, invitando ingegneri, maker e appassionati di tecnologia a progettare e realizzare prototipi innovativi focalizzati sul futuro dei veicoli elettrici e intelligenti. La sfida incoraggia i...
• 
  Imprenditoria femminile innovativa e in crescita: riparte il Premio Gammadonna

  Le imprese femminili in Italia hanno superato quota 1,3 milioni e rappresentano oggi una delle componenti più dinamiche del sistema imprenditoriale nazionale. Crescono presenza, qualità e impatto delle aziende guidate da donne, soprattutto nei settori innovativi e ad alto...
• 
  1 milione di euro per ridisegnare il Made in Italy in ottica circolare

  Sostenere l’innovazione che rende il Made in Italy più competitivo, circolare e sostenibile: è questo l’obiettivo del Premio “Mics Futuro Made in Italy, Call 4 Circular Startup”, contest organizzato e promosso dalla Fondazione Mics-Made in Italy Circolare...
• 
  I Made Future Industry Awards 2025 raccontano l’Italia che innova, da nord a sud

  Made Competence Center Industria 4.0 annuncia la prima edizione dei Made Future Industry Awards, i premi ideati per riconoscere e valorizzare i progetti più avanzati di digitalizzazione e sostenibilità già sviluppati e implementati dalle imprese italiane, con il contributo...
• 
  Logistica italiana da record, i principali operatori fatturano insieme quasi 2,5 miliardi di euro

  Il 2024 conferma la centralità della logistica per l’economia italiana, tra crescita, sostenibilità e innovazione digitale. I principali operatori del settore hanno, infatti, registrato un fatturato complessivo di circa 2,44 miliardi di euro, un record storico. “Assumersi...
• 
  PNI 2025: la competition italiana per start-up innovative nel campo della ricerca

  Il Premio Nazionale per l’ Innovazione (PNI) 2025 mette in campo il talento di ricercatrici e ricercatori che trasformano la conoscenza scientifica in imprese innovative capaci di fare la differenza nei settori Cleantech & Energy, ICT, Industrial e Life...