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 July 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
Ultima edizione
Edizione ore 19.30 del 20 ottobre 2021
Contenuto sponsorizzato
Contenuto sponsorizzato
In evidenza
Cronaca
20 ottobre - 22:14
L'allerta è scattata nella serata di oggi a Montevaccino. Svariate unità dei vigili del fuoco in azione per gestire l'emergenza
Politica
20 ottobre - 19:13
Gli autonomisti Michele Dallapiccola e Paola Demagri hanno presentato una mozione che si inserisce sulla riforma della Comunità di valle della [...]
Politica
20 ottobre - 18:30
Il consigliere del Movimento 5 Stelle ha fatto un'interrogazione per sapere quanto ha pesato sulle casse pubbliche la scelta del presidente del [...]
Contenuto sponsorizzato
Contenuto sponsorizzato
Contenuto sponsorizzato