Edmund M. Clarke
| Use attributes for filter ! | |
| Gender | Male |
|---|---|
| Death | 5 years ago |
| Date of birth | July 27,1945 |
| Zodiac sign | Leo |
| Born | Newport News |
| Virginia | |
| United States | |
| Academic advisor | Robert Lee Constable |
| Robert L. Constable | |
| Job | Professor |
| Computer scientist | |
| Researcher | |
| Education | Cornell University |
| Duke University | |
| University of Virginia | |
| Books | Computer-aided Verification '90: Proceedings of a DIMACS Workshop, June 18-21, 1990 |
| Model Checking | |
| Model Checking, Second Edition | |
| Died | Pittsburgh |
| Pennsylvania | |
| United States | |
| Affiliations | Carnegie Mellon University |
| Known for | Model checking |
| Awards | Turing Award |
| Interests | Formal Methods |
| Model Checking | |
| Doctor student | E. Allen Emerson |
| Bhubaneswar Mishra | |
| David L. Dill | |
| Date of died | December 22,2020 |
| Notable student | E. Allen Emerson |
| David L. Dill | |
| Bhubaneswar Mishra | |
| Aravinda Prasad Sistla | |
| Alex David Groce | |
| Date of Reg. | |
| Date of Upd. | |
| ID | 543101 |
Edmund M. Clarke Life story
Edmund Melson Clarke, Jr. was an American computer scientist and academic noted for developing model checking, a method for formally verifying hardware and software designs. He was the FORE Systems Professor of Computer Science at Carnegie Mellon University.
Edmund M. Clarke Photos
