Category:Edmund M. Clarke

From Wikimedia Commons, the free media repository
Jump to navigation Jump to 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 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 (fi); Edmund M. Clarke (en-ca); E. M. Clarke (cs); Edmund M. Clarke (it); এডমুন্ড এম. ক্লার্ক (bn); Edmund M. Clarke (fr); 愛德蒙·克拉克 (zh-tw); 爱德蒙·克拉克 (zh-hans); Edmund Clarke (pt); Edmund M. Clarke (ga); Edmund M. Clarke (cy); エドムンド・クラーク (ja); Едмунд Кларк (sr); Edmund M. Clarke (sl); Edmund M. Clarke (sv); Edmund Clarke (pt-br); 爱德蒙·克拉克 (zh-sg); Кларк, Эдмунд Мельсон (ru); Edmund M. Clarke (pl); Edmund M. Clarke (nb); Edmund M. Clarke (nl); Едмунд Кларк (uk); Edmund M. Clarke (nn); Edmund Clarke (ro); Edmund M. Clarke (sq); Edmund M. Clarke (en); إدموند كلارك (ar); Έντμουντ Μ. Κλαρκ (el); 에드먼드 M. 클라크 (ko) 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); دانشمند علوم کامپیوتر و مهندس آمریکایی (fa); American computer scientist (en); عالم حاسوب أمريكي (ar); ríomheolaí Meiriceánach (ga); 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)
Edmund M. Clarke 
American computer scientist
Edmund Clarke FLoC 2006.jpg
Edmund Clarke, el 2006
Upload media
Wikipedia-logo-v2.svg  Wikipedia
Name in native languageEdmund Melson Clarke, Jr.
Date of birth27 July 1945
Newport News
Date of death22 December 2020
Pittsburgh
Manner of death
  • natural causes
Cause of death
Country of citizenship
Educated at
Doctoral advisor
  • Robert Lee Constable
Doctoral student
  • Bhubaneswar Mishra
  • E. Allen Emerson
  • Sicun Gao
  • David L. Dill
  • Kenneth L. McMillan
  • Marius Minea
  • Sergio Vale Aguiar Campos
  • Somesh Jha
  • Xudong Zhao
  • David Elsey Long
  • Jerry Robert Burch
  • Michael Browne
  • Wilfredo Rogelio Marrero
  • Aravinda Prasad Sistla
  • Alex David Groce
Occupation
Employer
Member of
Field of work
Native language
Award received
  • Turing Award (2007)
  • Paris Kanellakis Award (1999)
  • Herbrand Award (2008)
  • Harry H. Goode Memorial Award (2004)
  • ACM Fellow
  • IEEE Fellow
  • Bower Award and Prize for Achievement in Science (2014)
  • AAAS Fellow
  • Benjamin Franklin Medal (2014)
  • honorary doctor of the Vienna Technical University
Official website
Authority control
Edit infobox data on Wikidata

Media in category "Edmund M. Clarke"

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