Category:Edmund M. Clarke

From Wikimedia Commons, the free media repository
Jump to: navigation, search

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
Educated at
  • computer scientist
  • professor
  • researcher
Member of
  • Institute of Electrical and Electronics Engineers
  • American Academy of Arts and Sciences
  • National Academy of Engineering
  • Association for Computing Machinery
Field of work
  • informatics
  • computer science
Award received
  • Turing Award
  • Paris Kanellakis Award
  • Herbrand Award
  • Harry H. Goode Memorial Award
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.