Open main menu

Wikimedia Commons β

Category:Edmund M. Clarke

English: Edmund Melson Clarke, Jr. (born July 27, 1945) is a computer scientist and academic noted for developing model checking, a method for formally verifying hardware and software designs.
Edmund M. Clarke 
Edmund Clarke FLoC 2006.jpg
American computer scientist
Date of birth 27 July 1945
Newport News
Country of citizenship
Educated at
  • computer scientist
  • professor
  • researcher
Member of
  • Institute of Electrical and Electronics Engineers
  • American Academy of Arts and Sciences (2011)
  • National Academy of Engineering (2005)
  • Association for Computing Machinery
Field of work
  • informatics
  • computer science
Award received
  • Turing Award (E. Allen Emerson, Joseph Sifakis, 2007)
  • Paris Kanellakis Award (1999)
  • Herbrand Award (2008)
  • Harry H. Goode Memorial Award (2004)
Official website
Authority control
Blue pencil.svg

Media in category "Edmund M. Clarke"

The following 4 files are in this category, out of 4 total.