ACM Turing Award 2007 to Clarke, Emerson and Sifakis

February 5, 2008 – 11:41 am

DAN:

Via the Geomblog, I have just learned that ACM has named Edmund M. Clarke, E. Allen Emerson, and Joseph Sifakis the winners of the 2007 AM Turing Award for their original and continuing research on model checking. …

Read more

Share and Enjoy: These icons link to social bookmarking sites where readers can share and discover new web pages.
  • Digg
  • del.icio.us
  • Netvouz
  • DZone
  • ThisNext
  • MisterWong
  • Wists
Related:

You must be logged in to post a comment.