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
  • 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
Official website
Authority control

Media in category "Edmund M. Clarke"

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