Feb 4, 2008 -

Clarke wins Turing Award

Prof. Edmund Clarke and colleagues, E. Allen Emerson, and Joseph Sifakis have been chosen to receive the 2007 Alan M. Turing Award, the most prestigious award presented by the Association for Computing Machinery (ACM), for their work in developing the field of Model Checking.

The award carries a prize of $250,000. It will be presented at the annual ACM Awards Banquet, to be held on Jun 21, 2008 in San Francisco.

More info...