Clark, Edmund Melson

Den aktuella versionen av sidan har ännu inte granskats av erfarna bidragsgivare och kan skilja sig väsentligt från versionen som granskades den 31 december 2020; kontroller kräver 2 redigeringar .
Edmund Melson Clark Jr.
Edmund Melson Clarke Jr.
Födelsedatum 27 juli 1945( 1945-07-27 )
Födelseort
Dödsdatum 22 december 2020( 2020-12-22 ) [1] (75 år)
En plats för döden
Land
Vetenskaplig sfär Informatik
Arbetsplats Duke University , Harvard University , Carnegie Mellon University
Alma mater University of Virginia , Duke University , Cornell University
vetenskaplig rådgivare Robert Lee Constable [d] [2]
Studenter Emerson, Allan
Känd som Modellvalidering
Utmärkelser och priser Turing Award
Hemsida cs.cmu.edu/~emc/
 Mediafiler på Wikimedia Commons

Edmund Melson Clarke, Jr. ( eng.  Edmund Melson Clarke, Jr. , 27 juli 1945, USA  – 22 december 2020 [3] ) är en amerikansk vetenskapsman inom området datorteori, vinnare av Turing-priset. Senast var han professor i datavetenskap vid Carnegie Mellon University .

Biografi

Clark fick en kandidatexamen i matematik från University of Virginia 1967 och en magisterexamen i matematik från Duke University 1968 . Clark tog sin doktorsexamen i datavetenskap från Cornell University 1976 , varefter han undervisade vid Duke University i två år. Sedan flyttade han till Harvard där han arbetade fram till 1982 . Sedan dess har Clark varit stipendiat vid Carnegie Mellon University , efter att ha haft en full professur sedan 1989 . [fyra]

Ed Clark är medlem i yrkesorganisationerna ACM , IEEE och National Academy of Engineering vid US National Academy of Sciences , samt Sigma Xi och Phi Beta Kappa Society .

I slutet av februari 2009 rankades Clarke som nummer 28 på CiteSeer -projektets lista över mest citerade författare . [5]

Böcker

Utmärkelser

Anteckningar

  1. ↑ Edmund Clarke banade väg för metoder för att upptäcka programvara, maskinvarufel
  2. ↑ Mathematical Genealogy  (engelska) - 1997.
  3. ↑ Edmund M. Clarke, universitetsprofessor emeritus vid Carnegie Mellon University och medmottagare av 2007 års Turing Award - datavetenskapens motsvarighet till Nobelpriset - dog dec. 22 av covid-19 . Hämtad 24 december 2020. Arkiverad från originalet 23 december 2020.
  4. ↑ Namnlöst dokument . Hämtad 19 februari 2009. Arkiverad från originalet 1 december 2009.
  5. ↑ Statistik - Mest citerade författare i datavetenskap . Hämtad 27 februari 2009. Arkiverad från originalet 1 maj 2012.
  6. ↑ Arkiverad kopia (länk ej tillgänglig) . Hämtad 19 februari 2009. Arkiverad från originalet 27 maj 2009. 
  7. ↑ ACM Award Citation / Edmund M Clarke Arkiverad 6 april 2009 på Wayback Machine
  8. ↑ SCHOOL OF COMPUTER SCIENCE, Carnegie Mellon Arkiverad 11 juni 2011.
  9. ↑ System otillgängligt (otillgänglig länk) . Hämtad 18 september 2019. Arkiverad från originalet 29 juni 2011. 
  10. ↑ Pristagare av det årliga Turing-priset - Vetenskap och teknik - Compulenta tillkännages (otillgänglig länk) . Hämtad 19 februari 2009. Arkiverad från originalet 21 februari 2009. 
  11. ↑ ACM Award Citation / Edmund M Clarke (länk ej tillgänglig) . Hämtad 19 februari 2009. Arkiverad från originalet 3 maj 2009. 
  12. ↑ Herbrand Award for Distinguished Contributions to Automated Reasoning Arkiverad 10 december 2008 på Wayback Machine 

Se även

Länkar

 Vinnare av Turingpriset
  Gå till Wikidata-objektet  Tematiska platser
Ordböcker och uppslagsverk