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
Just in time for Women's History Month and the second edition of the Diversity in Science Carnival, the Association for Computing Machinery has announced that the 2008 Turing Award goes to Barbara Liskov! Here's all the info from the press release:
ACM, the Association for Computing Machinery,…
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…
Think tanks vs Open Source
The Alexis de Tocqueville Institute's attack on Linux is just the latest in a series of attacks on Open Source by think tanks:
Date
Think Tank
Author/Title
Extracts
Sep 19, 2002
Competitive Enterprise Institute
James DeLongSoftware Wars: Open Source And 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.