Document Actions

ACM 2007 A.M. Turing Award News Coverage

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

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

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

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
Pittsburgh Tribune-Review
February 5, 2008

Turing Award goes to error-checking researchers
ZDnet.co.uk
February 5, 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

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

ioSemantics Launches Quality Assurance Automation Technology for Business Rules Applications
denverpost.com

June 6, 2008

ioSemantics Launches Quality Assurance Automation Technology for Business Rules Applications
Business Journal

June 6, 2008

ioSemantics Launches Quality Assurance Automation Technology for Business Rules Applications
globeinvestor.com

June 6, 2008

ioSemantics Launches Quality Assurance Automation Technology for Business Rules Applications
Forbes

June 6, 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

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 - 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

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

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