
Edmund M. Clarke
Use attributes for filter ! | |
Gender | Male |
---|---|
Death | 4 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.