You are here

Alessandro Cimatti vince il premio internazionale “Test of Time Award” dell’ETAPS

News date: 
Thursday, 27 April, 2017

In un campo in continua e veloce evoluzione come quello del software non è da tutti realizzare un lavoro scientifico dirompente a livello internazionale e così lungimirante da influenzare il settore per gli anni a venire. Ci è riuscito Alessandro Cimatti, del Centro ICT della Fondazione Bruno Kessler, che ieri a Uppsala in Svezia ha ricevuto il premio “Test of Time Award” dall’ ETAPS, l’’organizzazione delle conferenze europee sulla teoria e la pratica del software. Il suo lavoro scientifico “Symbolic model-checking without BDDs” realizzato nel 1999 con il gruppo del prof. Edmund Clarke della Carnegie Mellon University è stato scelto fra gli oltre mille pubblicati nell’ambito delle conferenze ETAPS fino al 2007, il periodo preso in considerazione per la selezione di quest’anno, e insignito del premio dedicato agli articoli in grado di resistere alla prova del tempo.