Hopp til innhold

Edmund M. Clarke

Fra Wikipedia, den frie encyklopedi
Edmund M. Clarke
Født27. juli 1945[1]Rediger på Wikidata
Newport News
Død22. des. 2020[2]Rediger på Wikidata (75 år)
Pittsburgh
BeskjeftigelseInformatiker, universitetslærer, ingeniør, matematiker Rediger på Wikidata
Utdannet vedUniversity of Virginia (1967) (akademisk grad: bachelorgrad, studieretning: matematikk)[3]
Duke University (1968) (akademisk grad: Master of Arts, studieretning: matematikk)[3]
Cornell University (1976) (akademisk grad: ph.d., studieretning: informatikk)[3]
Doktorgrads-
veileder
Robert Lee Constable[4]
NasjonalitetUSA
Medlem avInstitute of Electrical and Electronics Engineers
American Academy of Arts and Sciences (2011–)[5]
National Academy of Engineering (2005–)[6]
Association for Computing Machinery (1998–) (ACM Fellow)[7]
Utmerkelser
10 oppføringer
Turing-prisen (2007) (sammen med: E. Allen Emerson, Joseph Sifakis)[8]
Paris Kanellakis Award (1998)[9]
Herbrand Award (2008)[10]
Harry H. Goode Memorial Award (2004)[11]
ACM Fellow (1998)[8]
IEEE Fellow
Bower Award and Prize for Achievement in Science (2014) (arbeidsområde: informatikk)[12]
Medlem av American Academy of Arts and Sciences Fellow
Benjamin Franklin-medaljen (2014)
Honorary doctor of the Vienna Technical University

Edmund Melson Clarke, jr. (født 27. juli 1945 i Newport News i Virginia i USA, død 22. desember 2020 i Pittsburgh i Pennsylvania[13]) var en amerikansk dataviter og akademiker.

Han skapte model checking.[klargjør] Han var FORE Systems professor i Computer Science ved Carnegie Mellon University, og ble tildelt Turing-prisen i 2007. I 2005 ble han medlem av National Academy of Engineering, og i 2011 av American Academy of Arts and Sciences.

Clarke døde av covid-19 den 22. desember 2020 på sykehuset Asbury Heights i Mt. Lebanon i Pittsburgh i Pennsylvania i en alder av 75 år.[14][15]

  • Med Allen Emerson: Synthesis of synchronization skeletons for branching time temporal logic. I: Logic of Programs: Workshop, Yorktown Heights, NY, mai 1981, Lecture Notes in Computer Science, Bind 131, Springer-Verlag. 1981.
  • Med J. R. Burch, Kenneth L. McMillan, David Dill og J. Hwang: Symbolic model checking: 10E20 states and beyond. I: LICS, 1990.
  • Med Orna Grumberg og Doron A. Peled: Model Checking. MIT Press, 1999.

Referanser

[rediger | rediger kilde]
  1. ^ Social Networks and Archival Context, SNAC Ark-ID w64n9jck, besøkt 9. oktober 2017[Hentet fra Wikidata]
  2. ^ «Edmund Clarke Pioneered Methods For Detecting Software, Hardware Errors»[Hentet fra Wikidata]
  3. ^ a b c www.cs.cmu.edu[Hentet fra Wikidata]
  4. ^ Mathematics Genealogy Project[Hentet fra Wikidata]
  5. ^ filformat Portable Document Format, www.amacad.org, besøkt 17. september 2018[Hentet fra Wikidata]
  6. ^ www.nae.edu[Hentet fra Wikidata]
  7. ^ awards.acm.org, besøkt 23. juni 2024[Hentet fra Wikidata]
  8. ^ a b awards.acm.org[Hentet fra Wikidata]
  9. ^ awards.acm.org[Hentet fra Wikidata]
  10. ^ cadeinc.org[Hentet fra Wikidata]
  11. ^ www.computer.org[Hentet fra Wikidata]
  12. ^ www.fi.edu[Hentet fra Wikidata]
  13. ^ Andrew Goldstein: Obituary: Edmund M. Clarke, CMU professor who won computer science’s Nobel Prize equivalent, post-gazette.com, lest 25. desember 2020
  14. ^ James S. Clarke [Jim_in_Oregon] (22. desember 2020). «My father, Edmund M Clarke, passed away from Covid today. [...]» (Tweet). 
  15. ^ «Edmund Clarke Pioneered Methods For Detecting Software, Hardware Errors | Carnegie Mellon School of Computer Science». Cs.cmu.edu. Besøkt 24. desember 2020.