Thoralf Skolem Award 2023

Il lungimirante articolo scientifico “A SAT Based Approach for Solving Formulas over Boolean and Linear Mathematical Propositions” pubblicato nel 2002 a firma di Gilles Audemard, Piergiorgio Bertoli, Alessandro Cimatti, Artur Kornilowicz e Roberto Sebastiani ha riguardato gli studi per la realizzazione di un algoritmo utilizzato nei sistemi di progettazione di circuiti elettronici e software. Soluzione che serve in particolare per analizzare in modo automatico gli eventuali errori di progettazione – prima della realizzazione del circuito stesso – così da poterli correggere per tempo assicurando maggiore velocità e risparmio di denaro.

“Ricevere questo riconoscimento è stato di particolare soddisfazione”, ha dichiarato Alessandro Cimatti, direttore del Centro Digital Industry della Fondazione Bruno Kessler, “Da un lato, le tecniche che abbiamo proposto nel 2002 sono tutt’ora utilizzate nei sistemi più moderni di deduzione automatica. Dall’altro, sono alla base di varie soluzioni sviluppate da FBK in progetti di trasferimento tecnologico per importanti realtà industriali.”

In un’epoca caratterizzata dalla rapidità e dai cambiamenti, nei vent’anni considerati, lo studio ha mantenuto immutata la propria autorevolezza e importanza nel settore ed è dunque stato scelto per essere premiato nell’edizione di quest’anno.