You have requested to receive a Daily Digest e-mail from National Science Foundation Update.
Message: 1
From: National Science Foundation Update <nsf-update@xxxxxxx>
Date: Fri, 8 Feb 2008 10:30:28 -0600 (CST)
Subject: Model Checking Pioneers Receive Turing Award, Most Prestigious in Computing
Model Checking Pioneers Receive Turing Award, Most Prestigious in Computing
Officials from the National Science Foundation's (NSF) Computer and Information Science and Engineering (CISE) directorate cheered this week's announcement that Edmund M. Clarke, E. Allen Emerson and Joseph Sifakis have won the 2007 A.M. Turing Award, frequently referred to as the ‘Nobel Prize' of computing for their work on model checking. Clarke and Emerson have received funding and support from NSF throughout their distinguished careers.
Clark, a ...
This is an NSF News item.
This e-mail update was generated automatically based on your subscription to the categories listed for each item. Some updates may belong to more than one category, resulting in duplicate notices.
You can adjust your National Science Foundation Update subscriptions or delivery preference at any time on your Subscriber Preferences Page. You can also change your e-mail address, or stop subscriptions on this page. You will need to use your e-mail address to log in. If you have questions or problems with the National Science Foundation updates, please contact support@xxxxxxxxxxxxxxx.
National Science Foundation · 4201 Wilson Boulevard · Arlington, VA 22230 · 703-292-5111
