Edmund ClarkeCarnegie Mellon University
H-Index & Metrics
|Number of Google Citations||70,321|
|Guide2Research World Ranking||110th|
|Guide2Research National Ranking (United States)||76th|
|Number of Articles on DBLP||314|
Awards & Achievements
- 2007 - Turing Award
- 2007 - ACM A. M. Turing Award Together with E. Allen Emerson and Joseph Sifakis, for their role in developing Model-Checking into a highly effective verification technology that is widely adopted in the hardware and software industries.
- 2005 - IEEE Fellow For contributions to model checking methods for formal verification.
- 1998 - ACM Fellow Edmund M. Clarke is the co-inventor of Model Checking (with his former student Allen Emerson). He and his graduate students helped make Model Checking a tool that can be used to verify finite-state concurrent systems of industrial complexity.
- 1998 - ACM Paris Kanellakis Theory and Practice Award Symbolic Model Checking
View other scientists in:
Profile was last updated at February 18, 2019, 4:50 pm
Guide2Research Ranking is based on Google Scholar H-Index.