The Turing Award, the Nobel Prize of computing (but really how can we fault Nobel for not having a computing prize when computers for Nobel would have been people), has been won by Edmund Clarke (CMU), E. Allen Emerson (UT at Austin) and Joseh Sifakis (Centre National de la Recherche Scientifique/CARNOT Institute) for research on Model Checking. The citation reads
For their role in developing Model-Checking into a highly effective
verification technology, widely adopted in the hardware and software
industries.
The winners will share a $250,000 prize ($150,000 more this year due to the sponser ship of the Googlemonster.)
Categories
- Log in to post comments
More like this
Thanks Technology News for helping get the word out.
Read the full article here.
WASHINGTON - (BUSINESS WIRE) - Starting today, about 6,000 middle and high school students from across the United States will share brown bag lunches with over 20 Nobel Laureates.
This special highlight of the USA…
In the midst of the hysteria by the top two percent over Obama's tax plan (TEH SOCIALISMZ!! AAIIIEEE!!!), this article by ABC News about people who make more than $250,000 per year and are trying to lower their annual incomes below $250,000 makes one realize that professionally successful and…
On a note related to the previous entry, Inside Higher Ed had a longer story about Carl Wieman leaving Colorado for Canada (following in the footsteps of his post-docs?), another guy putting his money where his mouth is:
First, he contributed $250,000 of his Nobel Prize award to the Physics…
You could call them child or teen prodigies – wunderkinds, who at remarkable young ages have already begun making their mark upon science and technology as innovators and visionaries. The USA Science & Engineering Festival not only applauds such young achievers, but is recruiting some of the…
That's either a 500-fold a 1000-fold increase in prize money in a 26 years. I recall that when Stephen Cook won the Turing Award in 1982 the prize was either $250 or $500 (somehow $250 sticks in my memory) and a framed paper certificate.