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
-
- Tweet
- Pin It
- Condividi per email
-
![](https://automazione-plus.it/wp-content/uploads/sites/3/2023/01/Cattura-2-300x169.jpg)
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
-
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...
-
Premio GammaDonna: aperte le selezioni della XX edizione
Aperte le selezioni per la XX edizione del Premio GammaDonna, riconoscimento che mira a ridurre il gender gap sostenendo l’imprenditoria femminile innovativa. C’è tempo fino al 4 giugno per candidarsi e partecipare al road-show che toccherà le città di Roma,...
-
Due studenti dell’Università di Pisa premiati da Aveva per un progetto sull’idrogeno
C’è anche un team di studenti italiani fra i vincitori del 6° Concorso Accademico annuale sulla Simulazione di Processo organizzato dalla multinazionale del software industriale Aveva per mettere alla prova gli studenti di ingegneria chimica di Stati...
-
AI verso un futuro più ‘umano’ e sostenibile
Creare dei microprocessori in grado di replicare i sistemi di apprendimento biologico, così da rendere l’intelligenza artificiale più flessibile, efficiente e sostenibile anche dal punto di vista ambientale. È questa la sfida lanciata da un gruppo internazionale...
-
L’Università di Pisa si affida a Vertiv per ampliare le capacità delle infrastrutture dati
Vertiv, fornitore globale di soluzioni per le infrastrutture digitali critiche e le soluzioni di continuità, è stata scelta dall’Università di Pisa per ampliare l’infrastruttura del data center esistente e prevedere nuove apparecchiature di alimentazione e di raffreddamento a...
-
Emerson nominata “Industrial IoT Company of the Year”
Emerson è stata nominata per il sesto anno “Industrial IoT Company of the Year” aggiudicandosi il premio IoT Breakthrough. Il premio 2024 è stato assegnato a Emerson per i progressi nelle tecnologie e nei software che promuovono...
-
Intelligenza Artificiale: verso un futuro più “umano” e sostenibile
Creare dei microprocessori in grado di replicare i sistemi di apprendimento biologico, così da rendere l’ Intelligenza Artificiale più flessibile, efficiente e sostenibile anche dal punto di vista ambientale. È questa la sfida lanciata da un gruppo internazionale...
-
Investor Days 2023, start up e PMI innovative incontrano gli investitori
Due giornate per sostenere il percorso di crescita delle start-up e PMI innovative, facilitandone l’accesso al capitale di rischio e di debito e incoraggiandone la collaborazione con le grandi aziende in un’ottica di ‘open innovation’. Questo l’obiettivo di...
Scopri le novità scelte per te x
-
Premio Speciale Invitalia all’imprenditorialità femminile
Invitalia ha istituito il Premio speciale “Imprenditoria Femminile” in collaborazione con la Rete nazionale PNICube e l’Osservatorio...
-
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...
Notizie Tutti ▶
-
Regione Lombardia: 7 milioni per la transizione digitale ed ecologica delle imprese
Uno stanziamento di 7 milioni di euro per accrescere le competenze per la transizione...
-
Progetto M.A.R.E.: AI e data analysis al servizio del mare
Gruppo Sigla, società di Relatech, è partner nel progetto M.A.R.E. (machine learning applicata alla...
-
Protolabs collabora con la Nasa: consegna del pezzo in 36 ore
Alcuni ingegneri della Nasa, in collaborazione con Protolabs, noto protagonista del settore della fabbricazione...
Prodotti Tutti ▶
-
Sistema compatto di retroazione motore EDS/EDM35 da Sick
SICK presenta nuove varianti del sistema compatto di retroazione motore ad alta precisione EDS/EDM35. Alle...
-
Cobot Delta premiati con il “Red Dot: Best of the Best” Design Award 2024
Delta, azienda che opera nel settore della gestione dell’energia e fornitore di soluzioni smart&green...
-
Portacavi per stazioni e sale di controllo da Tsubaki Kabelschlepp
Brand Control Rooms è noto per i suoi sistemi di lavoro personalizzati, per esempio...