2007 Turing Award News Coverage

Computers' Model Behavior
journalgazette.net
February 18, 2008

CNRS researcher wins prestigious computing award
Community Research & Development Information System
February 13, 2008

Turing Award for fathers of software/hardware model checking
ICT Results
February 13, 2008

Professor gets computing honor
The Daily Tartan
February 11, 2008

Model Computing
Harvard School of Engineering and Applied Science

News about Texas colleges
Austin American Statesman
February 8, 2008

Model Checking Pioneers Receive Turing Award, Most Prestigious in Computing
Kansas City InfoZine
February 9, 2008

Iconoclastic genius gave his name to Turing Award
Pittsburgh Post-Gazette
February 9, 2008

Model-checking pioneers win Turing Award
Computer World
February 6, 2008

Web Exclusive: UT Professor receives award
The Daily Texan
February 5, 2008

Carnegie Mellon professor awarded computing prize
WHP - CBS
Feburary 5, 2008

Professor Awarded Computing Prize
CNN Money.com
February 5, 2008

UT professor receives prestigious computer science award
News 8 Austin
February 5, 2008
Download Video (Posted with permission of News 8 Austin)

Model checkers get Turing Prize
The Register
February 5, 2008

Professor Awarded Computing Prize
Forbes.com
February 5, 2008

Carnegie Mellon professor awarded computing prize
PennLive.com
February 5, 2008

Professor awarded computing prize
CNBC.com
February 5, 2008

Computer Sciences Professor Wins Highest Honor in the Field
The University of Texas at Austin
February 5, 2008

Logic Research Wins CMU Professor Computer Science Honor
stickyminds.com
February 5, 2008

Logic research wins CMU professor computer science honor
Pittsburgh Tribune-Review
February 5, 2008

Turing Award goes to error-checking researchers
ZDnet.co.uk
February 5, 2008

Carnegie Mellon professor awarded computing prize
Philadelphia Inquirer
February 4, 2008

CMU prof wins award for work on computer design errors
Pittsburgh Post-Gazette
February 4, 2008

Computer Scientists Share Prestigious Computing Award
The Chronicle of Higher Education
February 4, 2008

Carnegie Mellon Prof Wins Turing Award
HPC Wire
February 4, 2008

2007 Turing Award Winners Announced for their groundbreaking work on Model Checking
Dr. Dobb's Journal
February 4, 2008

Model Checking Pioneers Receive Turing Award, Most Prestigious in Computing
National Science Foundation
February 8, 2008

2007 Turing Award Blog Coverage

2007 Turing Award Winners Announced
Kurzweil.net

Prestigious Turing Award presented for Model Checking
John’s Semi Blog

This years Turing Award: Model Checking
Computational Complexity

2007 Turing Award to Model Checking
Jimagine

2007 Turing award goes to model checking developers
Ebiquity

Edmund M. Clarke, E. Allen Emerson and Joseph Sifakis are the winners
Creation vs Evolution

How to increase your odds of winning the Turing Award
Siva’s Glob of Thoughts

ACM ANNOUNCES 2007 TURING AWARD WINNERS
Computing Research Association

Model checking pioneers win Turing Award
Computer World UK

ACM Turing Award Honors Founders of Automatic Verification Technology
Beamtenherrschaft

ACM Turing Award 2007 to Clarke, Emerson and Sifakis
Process Algebra Diary

Edmund Clarke wins Turing Award
Canned Platypus

CMU Turing awards += 1
Live Journal

Turing Award winner
Quantum Moxie

ACM Turing Award Honors Founders of Automatic Verification Technology — Association for Computing Machinery
Random Spaf Items

The 2008 Turing Award Winners
Digital Lifestyles

The Turing award 2007 (partly) to a Greek
Not the Majority Opinion

Hardware/software reliability research wins profs Turing Award
Network World

ACM Turing Award Winner
Mendicant Bug

2008 Turing Awards
Quantum Immortal

Congratulations to Edmund M. Clarke
Pittsburgh Quarterly Blog Central

Turing award winner in CS department
Vishvas

ACM Turing Award 2007 to Clarke, Emerson and Sifakis
History of Mathematics Blog

2007 ACM Turing Award
Graph Theory

Model Checking Pioneers Receive Turing Award, Most Prestigious in Computing
Technomania

Model checking - One step forward
Behind this Code

Pittsburgh professor Edmund M. Clarke
Blog13

2007 Turing Award winners
Inside the Mind of a Nerd

2008 Turing Award Winners Announced
Slashdot.com

Clark, Emerson, and Sifakis win Turing Award
Nothing is as simple as we hope it will be

Ed Clarke Wins the Turing Award
CSDiary

Hardware/software reliability research wins profs Turing Award
NetworkWorld

CMU Turing Awards += 1
LiveJournal

Carnegie Mellon's Edmund M. Clarke Wins A.M. Turing Award
Supercomputingonline.com

2007 Turing Award Announced
Digg.com

ACM Turing Award 2007
The Quantum Pontiff

ACM Turing Award
Depth First Search

Turing Award 2007
Tsourolampis Blog

Carnegie Mellon's Edmund M. Clarke wins A.M. Turing Award, computing's highest honor
FirstScience News

Joseph SIFAKIS, premier prix Turing francais
Informatique et Organisation Sociale

Automated error catching technique awarded the Turing Prize
Ars Technica

"Nobel Prize for Computing" Winners Announced
The Future of Things

Pittsburgh Innovates
Pop City