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.
