Search


CRA TumbleLog

Archives
June 2008
May 2008
April 2008
March 2008
February 2008
January 2008
December 2007
November 2007
October 2007
September 2007
August 2007
July 2007
June 2007
May 2007
April 2007
March 2007
February 2007
January 2007
December 2006
November 2006
October 2006
September 2006
August 2006
July 2006
June 2006
May 2006
April 2006
March 2006
February 2006
January 2006
December 2005
November 2005
October 2005
September 2005
August 2005
July 2005
June 2005
May 2005
April 2005
March 2005
February 2005
January 2005
December 2004
November 2004
October 2004
September 2004
August 2004
July 2004
June 2004
May 2004
April 2004
March 2004
February 2004
January 2004
Archives by Category
American Competitiveness Initiative (86)
CRA (51)
Computing Community Consortium (CCC) (14)
Computing Education (4)
Diversity in Computing (21)
Events (21)
FY06 Appropriations (13)
FY07 Appropriations (32)
FY08 Appropriations (35)
FY09 Appropriations (13)
Funding (180)
Misc. (45)
People (91)
Policy (216)
R&D in the Press (75)
Research (71)
Security (28)
Recent Entries
Science Appears in Final FY 08 Emergency Supplemental, But Only Just Barely
DARPA Management Issues Cost Agency $32 Million
A Closer Look at the RAND Report on U.S. Competitiveness in S&T
Dichotomy of Women in S&T
Chronicle, Citing RAND Report, Claims U.S. S&T is A-OK
House CJS Committee Approves Big Increase for NSF...
Computing Community Gets Opportunities to Show Off for Congress
We're Looking For More Good Peeps!
Update on the Supplemental
CRA Chair to Testify Before Senate on Climate Modeling
CRA Links
Computing Research News
CRA-Bulletin
Computing Data and Resources
CRA in the News
Computing Research in the FY05 Budget
What We're Reading
Computational Complexity
CNSR Online
Danger Room
Defense Tech
Freedom to Tinker
InsideHPC
Lessig Blog
Nothing is as simple...
Reed's Ruminations
Schneier on Security
Techdirt
UMBC eBiquity Blog
USACM Tech Policy Blog
Advocacy Materials
IT R&D One-pager (pdf)
DARPA and University Research One-pager (pdf)
Cyber Security R&D One-pager (pdf)
Current and Requested IT R&D Funding Charts (pdf)
Recent Testimony
Cybersecurity R&D (pdf)
IT R&D Funding (pdf)
Syndicate this site (XML)
Atom (XML)

Subscribe with Bloglines

Powered by
Movable Type 2.65

February 05, 2008

ACM Announces 2007 Turing Award Winners

Congratulations to Edmund M. Clarke of Carnegie Mellon, E. Allen Emerson of UT-Austin, and Joseph Siafkis of Verimag Laboratory in France, on being awarded ACM's 2007 A.M. Turing award, the highest honor in computing, for their work on a quality assurance process known as Model Checking!

ACM has all the details in their press release.

Posted by PeterHarsha at February 5, 2008 12:45 PM
Posted to People