Den mest prestigefyldte pris indenfor datalogi, Turing Award'en, er blevet tildelt tre dataloger, der har arbejdet på at sikre bedre software- og hardwaredesign.
De tre prismodtagere, Edmund M. Clarke, E. Allen Emerson og Joseph Sifakis, tildeles prisen for deres arbejde indenfor såkaldt Model Checking.
I model-checking defineres specifikationerne for et hardware- eller software-system i et formelt logisk sprog, hvorefter specifikationen kan verificeres for at se, om designet holder vand.
Turing-prisen uddeles hvert år til en eller flere personer, der har ydet væsentlige bidrag med betydelig teknisk betydning for it.
De tre prisdeltagere deler prisen på 250.000 dollar, der sponseres af Intel og Google.
For to år siden gik Turing-prisen til danske Peter Naur, hvilket du kan læse mere om her.
