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
Wikipedia
Date of birth 27 July 1945
Newport News
Country of citizenship
Educated at
Occupation
  • computer scientist
  • professor
  • researcher
Employer
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.