De officieuze Nobelprijs voor de informatica, de Turing Award, gaat dit jaar naar Edmund Clarke, Ernest Emerson en Joseph Sifakis. De drie onderzoekers pionierden met technologie om hard- en softwarefouten op te sporen.
De eerste implementatie van Clarkes en Emersons model checking-theorie verscheen in 1982. Dit kon kleine chipontwerpen verifiëren. Hierna verbreedde het fenomeen zich tot meer complexe designs. De Amerikaan Clarke deed zijn onderzoek aan de Carnegie Mellon-universiteit en zijn ex-student Emerson aan de University of Texas in Austin. De Kretenzer Sifakis werkte onafhankelijk van hen aan het Centre National de la Recherche Scientifique nabij Grenoble.
De Association for Computing Machinery reikt de Turing Award jaarlijks uit. Er is een geldbedrag van 250 duizend dollar aan verbonden, met financiële sponsoring van Intel en Google.
This article is exclusively available to premium members of Bits&Chips. Already a premium member? Please log in. Not yet a premium member? Become one for just €20 for the first year and enjoy all the benefits.
