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 20.47 del 13 Dicembre
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

13 dicembre - 18:58

Per Cgil, Cisl e Uil il ridimensionamento del bilancio di Agenzia del Lavoro si tradurrà in un contenimento della spesa per la formazione e la riqualificazione professionale, blocco agli incentivi alle assunzioni stabili per i disoccupati deboli, azzeramento della staffetta occupazionale, stop al reddito di attivazione. Il tutto mentre si investono 8 milioni in strategie di welfare che saranno superate dal governo nazionale

13 dicembre - 19:15

La specie in provincia è diffusa soprattutto in Valsugana. La Fem: ''E' molto resistente perché capace di creare delle nicchie ad altitudini sensibilmente maggiori rispetto alla zanzara tigre. L'estate scorsa abbiamo rilevato un caso davvero particolare, seppure isolato: la presenza di una colonia addirittura ad una altitudine di 1.500 metri''

13 dicembre - 17:52

Il gatto pare sia di casa Rifugio Predaia e dopo che gli escursionisti che lo hanno incontrato hanno postato delle foto su Facebook, in breve tempo, la storia di “Scòdega” è diventata virale

Contenuto sponsorizzato
Contenuto sponsorizzato
Contenuto sponsorizzato