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
-
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...
-
Il lettore DPM intelligente Omron V460-H vince il Good Design Award 2023
Omron ha lanciato il lettore industriale DPM (Direct-Part Mark) intelligente V460-H. Questo robusto lettore DPM portatile offre prestazioni di decodifica avanzate e, al contempo, connettività di rete Ethernet per soddisfare le esigenze degli odierni settori dinamici della...
Scopri le novità scelte per te x
-
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...
-
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...
Notizie Tutti ▶
-
Economia circolare, Siemens e Osai GreenTech al recupero dei metalli preziosi dai RAEE
Nell’economia lineare l’estrazione, la lavorazione e lo smaltimento dei metalli preziosi comportano un consumo...
-
1° ottobre, appuntamento con la II edizione dell’IO-Link Day
Sulla scia del successo della prima edizione, torna l’evento di Consorzio PI Italia dedicato...
-
Hewlett Packard e Danfoss insieme per ridurre il consumo energetico nei data center
Hewlett Packard Enterprise e Danfoss collaborano per la fornitura di HPE IT Sustainability Services...
Prodotti Tutti ▶
-
Sensori di corrente a rilevamento magnetico di Allegro per industria, automotive ed energie rinnovabili
Allegro MicroSystems ha sviluppato i sensori di corrente ad alta potenza ACS37220 e ACS37041,...
-
InnoTrans 2024: Moxa presenta le soluzioni di comunicazione ed elaborazione dati con protezione
Moxa, fornitore di soluzioni di comunicazione basate su IP, si presenterà a InnoTrans 2024...
-
Refrigeratori di acqua di processo ecologici di Parker a basso GWP
Parker Hannifin ha sviluppato Hyperchill Plus-E, un nuovo refrigeratore ecologico per processi industriali utilizzato...