| Edmund Melson Clarke, Jr. is a computer scientist and academic noted for developing model checking, a method for formally verifying hardware and software designs. He is the FORE Systems Professor of Computer Science at Carnegie Mellon University. Clarke, along with E. Allen Emerson and Joseph Sifakis, is a recipient of the 2007 Association for Computing Machinery A.M. Turing Award. |
Awards by Edmund M. Clarke |
||
| Check all the awards nominated and won by Edmund M. Clarke. | ||
2007
|
|
