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
More like this
February 28th
1704 - Birth of Louis Godin, French astronomer
Births
1867 - Charles Dillon Perrine, American-born astronomer
Births
1814 - Gabriel Auguste Daubrée, French geologist
Births
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.