Contenuto sponsorizzato

Alessandro Cimatti di Fbk vince un prestigioso premio internazionale

Il responsabile dell'unità di ricerca Embedded Systems nel centro Ict della Fondazione Bruno Kessler si aggiudica il premio assegnato dalla più importante conferenza sulla verifica formale di sistemi hardware e software in corso di svolgimento a Oxford in questi giorni

Pubblicato il - 16 luglio 2018 - 17:19

OXFORD (Inghilterra). Il responsabile dell'unità di ricerca Embedded Systems nel centro Ict della Fondazione Bruno Kessler si aggiudica il "Cav 2018 Award", un prestigioso riconoscimento a livello internazionale.

 

E' Alessandro Cimatti il destinatario del premio assegnato dalla più importante conferenza sulla verifica formale di sistemi hardware e software in corso di svolgimento a Oxford in questi giorni.

Questo prestigioso riconoscimento riguarda gli studi di Cimatti per la realizzazione del Bounded Model Checking, un algoritmo utilizzato nei sistemi di progettazione di circuiti elettronici e software.

 

Una soluzione che serve in particolare per analizzare in modo automatico gli eventuali errori di progettazione, così da poterli correggere per tempo e assicurare maggiore velocità d'esecuzione e risparmio di denaro.

 

In questa occasione sono stati premiati altri scienziati di livello internazionale che si sono distinti in questo settore: Armin Biere, Edmund M. Clarke, Daniel Kroening, Flavio LerdaYunshan Zhu.

"Questo premio - afferma Alessandro Cimatti - mi riempie di orgoglio: Cav è la conferenza più prestigiosa nel campo della verifica formale. Il lavoro sul Bounded Model Checking è un chiaro esempio del tipo di ricerca che ci piace portare avanti in Fbk: risultati teorici con una forte ricaduta pratica. I nostri lavori nel settore, citati in più di quattromila articoli scientifici, hanno consentito la verifica di sistemi su scala prima impensabile".

Dal 2007 Alessandro Cimatti è responsabile dell’unità di ricerca Embedded Systems nel Centro Ict della Fondazione Bruno Kessler che sviluppa vari software per la verifica formale, tra questi il Bounded Model Checking è una parte integrante.

 

Svariati i campi di applicazione in molteplici progetti di trasferimento tecnologico, soprattutto per settori critici quali l’aerospaziale, il ferroviario, il controllo avanzato e l’Industry 4.0.

 

Alla conferenza internazionale Cav, Cimatti ha finora contribuito con oltre 20 lavori scientifici e, sempre per i propri studi di rilievo internazionale in questo settore, lo scorso anno aveva ricevuto anche il premio “Test of Time Award” dell’Etaps, l’organizzazione delle conferenze europee sulla teoria e la pratica del software.

Contenuto sponsorizzato
Telegiornale
Ultima edizione
Edizione ore 19.30 del 17 settembre 2020
Il DolomitiTg, le notizie della giornata in sessanta secondi. Cronaca, politica, ambiente, università, economia e cultura: tutte le news in un minuto
Contenuto sponsorizzato

Dalla home

18 settembre - 17:19

E' successo sul territorio di Strembo. Sul posto sono intervenuti i vigili del fuoco, il soccorso alpino e i sanitari. L'uomo è stato trasferito in gravi condizioni all'ospedale Santa Chiara di Trento 

18 settembre - 17:37

Probabilmente innescato da un fulmine in località Vies a circa 1.600 metri di quota si trova in un luogo impervio difficile da raggiungere

18 settembre - 17:17

L’incidente è avvenuto intorno alle 15e30: una moto si è scontrata con un’automobile. Per due motociclisti si è reso necessario l’intervento dell’elicottero. Sul posto vigili del fuoco, carabinieri e Croce rossa

Contenuto sponsorizzato
Contenuto sponsorizzato
Contenuto sponsorizzato