A.M. Turing Award 2007 naar drie wetenschappers

05-02-2008 11:30 | Door Henk Boot | Er zijn nog geen reacties op dit artikel | Permalink

Jaarlijks reikt de ACM de naar de Britse Nobelprijswinnaar vernoemde A.M. Turing Award uit.

Edmund Clarke, Allen Emerson en Joseph Sifakis zijn door de Association for Computing Machinery (ACM) uitgeroepen tot de winnaars van de A.M. Turing Award 2007. Zij krijgen de prijs voor hun baanbrekende werk bij het ontwikkelen van een geautomatiseerde methode voor het vinden van ontwerpfouten in hard- en software.

De A.M. Turing Award gaat naar drie wetenschappers die zich al vanaf 1981 richten op het ontwikkelen van een geautomatiseerd systeem om ontwerpfouten in hard- en software vroegtijdig te signaleren. Zij zullen de prijs van 250.000 dollar moeten verdelen. Edmund Clarke (Carnegie Mellon) en Allen Emerson (University of Texas) werken daarbij samen. Joseph Sifakis, verbonden aan de Centre National de la Recherche Scientifique van de universiteit van Grenoble, werkt onafhankelijk van de twee Amerikaanse wetenschappers aan 'Model Checking'.

ACM-president Stuart Feldman prijst de wetenschappers voor hun baanbrekende werk bij het ontwikkelen van een geautomatiseerd systeem om vroegtijdig fouten in onder meer halfgeleiders te traceren. "Zonder dit systeem zouden we nu nog opgezaldeld worden met chips die aanmerkelijk minder goed presteren en zouden computers aanzienlijk langzamer zijn. Dit is een goed voorbeeld van theoretisch onderzoek omzetten in een technologie die de industrie vleugels geeft."

Andrew Chien, vice-president bij de Corporate Technology Group en directeur onderzoek bij Intel (samen met Google sponsor van de Turing Award) zegt in een toelichting op het juryrapport dat de hele computerindustrie direct voordelen heeft van het ontwikkelingswerk van de drie winnaars. "Onze ontwerpers en engineers werken al vijftien jaar samen met Clarke, Emerson en Sifakes. Zonder hun Model Checking-concept zou de ict-industrie nog nog steeds in de kinderschoenen staan."

	Aantal reacties met 3+ sterren		Gemiddelde waardering
1	PaVaKe	155	6.4
2	Reza Sarshar	121	6.7
3	Henri Koppen	109	6.4
4	edekkinga	79	6.6
5	Jaap-G	53	6.1
6	Guido Groeneweg	49	6.3
7	Ruud Mulder	48	6.5
8	mauwerd	44	6.1
9	Frank Brechts	43	6.0
10	Rob Koelmans	40	6.3

Nieuws / ICT-branche

A.M. Turing Award 2007 naar drie wetenschappers

13-02 KPN maakt balans op na hack

13-02 KPN garandeert anonimiteit internetgebruiker

13-02 Ordina rondt integratie Oracle EBS bij EL&I af

13-02 Perfectview levert CRM-systeem aan Gelderland

10-02 Infor helpt Ferrari met bouwen F1-auto's

10-02 Tester Four Oaks in Israëlische handen

10-02 IS Online en Tres zijn klaar voor Elfstedentocht

10-02 SecureLink migreert Microsoft-diensten Atradius

10-02 Nieuwe software brengt Vitens in problemen

10-02 Ex-Misys-topman moet CSC uit penarie helpen

10-02 Infor helpt Ferrari met bouwen F1-auto's

10-02 Tester Four Oaks in Israëlische handen

10-02 Ex-Misys-topman moet CSC uit penarie helpen

09-02 Gebouwautomatiseerders kiezen branchebestuur

08-02 Sogeti ontslaat nog eens 110 medewerkers

08-02 Reseller verliest slag om het groene huishouden

07-02 Verhuurder Capgemini-pand vecht verhuizing aan

07-02 Nomineer nu voor de Computable Awards 2012

07-02 Europese ICT-beslissers voorzichtig met budget

06-02 'Marktwaardering Facebook is kwart te hoog'

Probleemloos ontwikkelen voor een hybride cloudmodel