The chart shows the distribution of publications by all Research.com ranked scientists in the field of Computer Science in 2026. The highlighted bar marks where Edmund M. Clarke sits on this spectrum.
This scientist: 373 publications — 84th percentile
84% of scientists in this discipline score the same or lower.
The last bar groups every scientist with 991 publications or more.
The chart shows the D-index (discipline H-index) distribution of Computer Science scientists ranked by Research.com in 2026. The highlighted bar marks where Edmund M. Clarke sits on this spectrum.
This scientist: 104 D-Index — 98th percentile
98% of scientists in this discipline score the same or lower.
The last bar groups every scientist with 131 D-Index or more.
Edmund M. Clarke was affiliated with Carnegie Mellon University in the United States. Their career focused primarily on formal verification methods, with notable contributions to model checking as a verification technology.
Throughout their career, Clarke received multiple awards recognizing work in the field of hardware and software verification. These included the A. M. Turing Award in 2007, awarded jointly with E. Allen Emerson and Joseph Sifakis for their roles in developing model checking into an effective and widely adopted verification technology in industry.
Clarke was also recognized as a Fellow of the American Academy of Arts and Sciences in 2011. They were made a Member of the National Academy of Engineering in 2005, explicitly for contributions to formal verification of hardware and software correctness. Earlier honors included the ACM Paris Kanellakis Theory and Practice Award in 1998 for Symbolic Model Checking and election as an ACM Fellow the same year, credited for co-inventing model checking and advancing it as a practical verification tool for finite-state concurrent systems.
Edmund M. Clarke;Bernd-Holger Schlingloff
E. Clarke;O. Grumberg;D. Long
Edmund M. Clarke;E. Allen Emerson
E. M. Clarke;E. A. Emerson;A. P. Sistla
J.R. Burch;E.M. Clarke;K.L. McMillan;D.L. Dill
Armin Biere;Alessandro Cimatti;Edmund M. Clarke;Yunshan Zhu
Edmund M. Clarke;Orna Grumberg;David E. Long
Alessandro Cimatti;Edmund M. Clarke;Enrico Giunchiglia;Fausto Giunchiglia
E. Clarke
Edmund M. Clarke;Jeannette M. Wing
Edmund M. Clarke;Daniel Kroening;Flavio Lerda
A. P. Sistla;E. M. Clarke
Edmund Clarke;Orna Grumberg;Somesh Jha;Yuan Lu
Edmund Clarke;Armin Biere;Richard Raimi;Yunshan Zhu
E.Allen Emerson;Edmund M. Clarke
A. Biere;A. Cimatti;E. M. Clarke;M. Fujita
Armin Biere;Alessandro Cimatti;Edmund M. Clarke;Ofer Strichman
Alessandro Cimatti;Edmund M. Clarke;Fausto Giunchiglia;Marco Roveri
Alessandro Cimatti;Edmund M. Clarke;Fausto Giunchiglia;Marco Roveri
J.R. Burch;E.M. Clarke;D.E. Long;K.L. McMillan
Edmund Clarke;Orna Grumberg;Somesh Jha;Yuan Lu
If you think any of the details on this page are incorrect, let us know.
Exploring computer science in the USA opens access to a wide range of online degrees and career options, both within tech and in related fields. If you want a faster route to your career, an accredited computer science accelerated program can help you complete your studies in less time, giving you valuable skills to enter the workforce sooner.
Students interested in applying their tech skills to other domains might consider environmental or engineering degrees. Curious about environmental careers? Learn what can you get with an environmental science degree and discover the many roles available, including environmental analyst and sustainability manager.
Aspiring engineers may be interested in affordable technical programs. For those wanting to take a practical approach to pressing global problems, consider the environmental engineering degree. Or, for those passionate about design and innovation, an online degree in mechanical engineering could open careers in industries from robotics to automotive design.
Ultimately, online programs offer flexible pathways for students to gain expertise and build fulfilling careers in technology, science, and engineering fields.
