Clark, Edmund Melson

Den aktuelle version af siden er endnu ikke blevet gennemgået af erfarne bidragydere og kan afvige væsentligt fra den version , der blev gennemgået den 31. december 2020; checks kræver 2 redigeringer .
Edmund Melson Clark Jr.
Edmund Melson Clarke Jr.
Fødselsdato 27. juli 1945( 1945-07-27 )
Fødselssted
Dødsdato 22. december 2020( 22-12-2020 ) [1] (75 år)
Et dødssted
Land
Videnskabelig sfære Informatik
Arbejdsplads Duke University , Harvard University , Carnegie Mellon University
Alma Mater University of Virginia , Duke University , Cornell University
videnskabelig rådgiver Robert Lee Constable [d] [2]
Studerende Emerson, Allan
Kendt som Modelvalidering
Præmier og præmier Turing-prisen
Internet side cs.cmu.edu/~emc/
 Mediefiler på Wikimedia Commons

Edmund Melson Clarke, Jr. ( Eng.  Edmund Melson Clarke, Jr. , 27. juli 1945, USA  – 22. december 2020 [3] ) er en amerikansk videnskabsmand inden for computerteori, vinder af Turing-prisen. Senest var han professor i datalogi ved Carnegie Mellon University .

Biografi

Clark modtog en bachelorgrad i matematik fra University of Virginia i 1967 og en kandidatgrad i matematik fra Duke University i 1968 . Clark modtog sin ph.d. i datalogi fra Cornell University i 1976 , hvorefter han underviste på Duke University i to år. Derefter flyttede han til Harvard , hvor han arbejdede indtil 1982 . Siden da har Clark været fellow ved Carnegie Mellon University efter at have haft et fuldt professorat siden 1989 . [fire]

Ed Clark er medlem af de faglige organisationer ACM , IEEE og National Academy of Engineering ved US National Academy of Sciences , samt Sigma Xi og Phi Beta Kappa Society .

I slutningen af ​​februar 2009 blev Clarke rangeret som #28 på CiteSeer -projektets liste over mest citerede forfattere . [5]

Bøger

Priser

Noter

  1. ↑ Edmund Clarke var banebrydende metoder til at opdage software, hardwarefejl
  2. ↑ Matematisk genealogi  (engelsk) - 1997.
  3. ↑ Edmund M. Clarke, universitetsprofessor emeritus ved Carnegie Mellon University og medmodtager af 2007 Turing Award - datalogiens ækvivalent til Nobelprisen - døde dec. 22 af COVID-19 . Hentet 24. december 2020. Arkiveret fra originalen 23. december 2020.
  4. ↑ Unavngivet dokument . Hentet 19. februar 2009. Arkiveret fra originalen 1. december 2009.
  5. ↑ Statistik - Mest citerede forfattere i datalogi . Hentet 27. februar 2009. Arkiveret fra originalen 1. maj 2012.
  6. ↑ Arkiveret kopi (link ikke tilgængeligt) . Hentet 19. februar 2009. Arkiveret fra originalen 27. maj 2009. 
  7. ↑ ACM Award Citation / Edmund M Clarke Arkiveret 6. april 2009 på Wayback Machine
  8. ↑ SCHOOL OF COMPUTER SCIENCE, Carnegie Mellon Arkiveret 11. juni 2011.
  9. ↑ System utilgængeligt (utilgængeligt link) . Hentet 18. september 2019. Arkiveret fra originalen 29. juni 2011. 
  10. ↑ Vindere af den årlige Turing Award - Videnskab og teknologi - Compulenta annonceret (utilgængeligt link) . Hentet 19. februar 2009. Arkiveret fra originalen 21. februar 2009. 
  11. ↑ ACM Award Citation / Edmund M Clarke (link utilgængeligt) . Hentet 19. februar 2009. Arkiveret fra originalen 3. maj 2009. 
  12. ↑ Herbrand Award for Distinguished Contributions to Automated Reasoning Arkiveret 10. december 2008 på Wayback Machine 

Se også

Links

 Turing prisvindere
  Gå til Wikidata-elementet  Tematiske steder
Ordbøger og encyklopædier