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
Ultima edizione
Edizione ore 19.30 del 22 aprile 2021
Contenuto sponsorizzato
Contenuto sponsorizzato
In evidenza
Cronaca
23 aprile - 06:01
Nei giorni scorsi è arrivata la conferma della positività a seguito dei tamponi. Sei ospiti della Residenza Fersina sono stati trasferiti in una [...]
Cronaca
22 aprile - 19:45
Trovati 104 positivi, comunicati 4 decessi nelle ultime 24 ore. Sono state registrate 104 guarigioni. Sono 1.251 i casi attivi sul territorio [...]
Politica
22 aprile - 21:20
Il "vecchio" progetto ha già concluso buona parte dell'iter da parte degli uffici. Il nuovo piano è invece ancora tutto da scoprire. L'ex [...]
Contenuto sponsorizzato
Contenuto sponsorizzato
Contenuto sponsorizzato