Open main menu


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 
American computer scientist
Edmund Clarke FLoC 2006.jpg
Upload media
Wikipedia-logo-v2.svg  Wikipedia
Date of birth27 July 1945
Newport News
Country of citizenship
Educated at
Doctoral student
  • Bhubaneswar Mishra
  • E. Allen Emerson
Occupation
Employer
Member of
Field of work
Award received
  • Turing Award (2007)
  • Paris Kanellakis Award (1999)
  • Herbrand Award (2008)
  • Harry H. Goode Memorial Award (2004)
  • Fellow of the Association for Computing Machinery (1998)
  • ACM Fellow
  • IEEE Fellow
  • Bower Award and Prize for Achievement in Science (2014)
  • Fellow of the American Academy of Arts and Sciences
  • Benjamin Franklin Medal (2014)
Official website
Authority control
Blue pencil.svg
Edmund Clarke (es); Edmund M. Clarke (hu); Edmund M. Clarke (ca); Edmund M. Clarke (de); Edmund M. Clarke (en-gb); ادموند ام. کلارک (fa); 爱德蒙·克拉克 (zh); Edmund M. Clarke (da); Edmund M. Clarke (tr); 愛德蒙·克拉克 (zh-hk); Edmund M. Clarke (mg); Edmund Clarke (sk); Edmund M. Clarke (oc); 愛德蒙·克拉克 (zh-hant); 爱德蒙·克拉克 (zh-cn); Edmund M. Clarke (en-ca); এডমুন্ড এম. ক্লার্ক (bn); Edmund M. Clarke (fr); Edmund Clarke (pt); Едмунд Кларк (sr); Edmund M. Clarke (sl); 愛德蒙·克拉克 (zh-tw); 爱德蒙·克拉克 (zh-sg); 爱德蒙·克拉克 (zh-hans); Edmund M. Clarke (nn); Edmund M. Clarke (nb); Edmund M. Clarke (nl); Едмунд Кларк (uk); エドムンド・クラーク (ja); Edmund M. Clarke (sv); Кларк, Эдмунд Мельсон (ru); Edmund M. Clarke (en); إدموند كلارك (ar); Έντμουντ Μ. Κλαρκ (el); Edmund Clarke (ro) informático teórico estadounidense (es); informaticien américain (fr); amerikansk ingenjör och datavetare (sv); amerikansk ingeniør og informatikar (nn); amerikansk ingeniør og informatiker (nb); Amerikaans informaticus (nl); amerikanischer Informatiker (de); American computer scientist (en); دانشمند علوم کامپیوتر و مهندس آمریکایی (fa); amerikansk ingeniør og informatiker (da) Эдмунд Мельсон Кларк (ru); Edmund Melson Clarke, Edmund Melson Clarke, Jr., Ed Clarke, Edmund Clarke (de); Edmund Melson Clarke, Edmund M. Clarke (sk); Edmund M Clarke Jr, Edmund M. Clarke Jr., Edmund M. Clarke, Edmund M Clarke, Edmund Melson Clarke, Jr. (es); 艾德蒙·克拉克 (Edmund Clarke) (zh); Edmund Melson Clarke, Edmund Melson Clarke, Jr., Edmund Clarke (en)

Media in category "Edmund M. Clarke"

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