Edmund M. Clarke
Edmund M. Clarke | |||
---|---|---|---|
![]() | |||
Født | 27. juli 1945[1]![]() Newport News | ||
Død | 22. des. 2020[2]![]() Pittsburgh | ||
Beskjeftigelse | Informatiker, universitetslærer, ingeniør, matematiker ![]() | ||
Utdannet ved | University 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] | ||
Nasjonalitet | USA | ||
Medlem av | Institute 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 M. Clarke på Commons |
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]
Skrifter
- 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
- ^ Social Networks and Archival Context, SNAC Ark-ID w64n9jck, besøkt 9. oktober 2017[Hentet fra Wikidata]
- ^ «Edmund Clarke Pioneered Methods For Detecting Software, Hardware Errors»[Hentet fra Wikidata]
- ^ a b c www.cs.cmu.edu[Hentet fra Wikidata]
- ^ Mathematics Genealogy Project[Hentet fra Wikidata]
- ^ filformat Portable Document Format, www.amacad.org, besøkt 17. september 2018[Hentet fra Wikidata]
- ^ www.nae.edu[Hentet fra Wikidata]
- ^ awards.acm.org, besøkt 23. juni 2024[Hentet fra Wikidata]
- ^ a b awards.acm.org[Hentet fra Wikidata]
- ^ awards.acm.org[Hentet fra Wikidata]
- ^ cadeinc.org[Hentet fra Wikidata]
- ^ www.computer.org[Hentet fra Wikidata]
- ^ www.fi.edu[Hentet fra Wikidata]
- ^ Andrew Goldstein: Obituary: Edmund M. Clarke, CMU professor who won computer science’s Nobel Prize equivalent, post-gazette.com, lest 25. desember 2020
- ^ James S. Clarke [Jim_in_Oregon] (22. desember 2020). «My father, Edmund M Clarke, passed away from Covid today. [...]» (Tweet).
- ^ «Edmund Clarke Pioneered Methods For Detecting Software, Hardware Errors | Carnegie Mellon School of Computer Science». Cs.cmu.edu. Besøkt 24. desember 2020.