Clark, Edmund Melson

Kokeneet kirjoittajat eivät ole vielä tarkistaneet sivun nykyistä versiota, ja se voi poiketa merkittävästi 31. joulukuuta 2020 tarkistetusta versiosta . tarkastukset vaativat 2 muokkausta .
Edmund Melson Clark Jr.
Edmund Melson Clarke Jr.
Syntymäaika 27. heinäkuuta 1945( 27.7.1945 )
Syntymäpaikka
Kuolinpäivämäärä 22. joulukuuta 2020( 22.12.2020 ) [1] (75-vuotias)
Kuoleman paikka
Maa
Tieteellinen ala Informatiikka
Työpaikka Duke University , Harvard University , Carnegie Mellon University
Alma mater Virginian yliopisto , Duke University , Cornellin yliopisto
tieteellinen neuvonantaja Robert Lee Constable [d] [2]
Opiskelijat Emerson, Allan
Tunnetaan Mallin validointi
Palkinnot ja palkinnot Turing-palkinto
Verkkosivusto cs.cmu.edu/~emc/
 Mediatiedostot Wikimedia Commonsissa

Edmund Melson Clarke, Jr. ( Eng.  Edmund Melson Clarke, Jr. , 27. heinäkuuta 1945, USA  - 22. joulukuuta 2020 [3] ) on amerikkalainen tietokoneteorian alan tiedemies, Turing-palkinnon voittaja. Viimeksi hän oli tietojenkäsittelytieteen professori Carnegie Mellonin yliopistossa .

Elämäkerta

Clark suoritti matematiikan kandidaatin tutkinnon Virginian yliopistosta vuonna 1967 ja matematiikan maisterin tutkinnon Duke Universitystä vuonna 1968 . Clark valmistui tietojenkäsittelytieteen tohtoriksi Cornellin yliopistosta vuonna 1976 , minkä jälkeen hän opetti Duken yliopistossa kaksi vuotta. Sitten hän muutti Harvardiin , jossa hän työskenteli vuoteen 1982 asti . Sittemmin Clark on työskennellyt stipendiaattina Carnegie Mellon -yliopistossa , ja hänellä on ollut täysi professuuri vuodesta 1989 . [neljä]

Ed Clark on jäsenenä ammattijärjestöissä ACM , IEEE ja National Academy of Engineering Yhdysvaltain kansallisessa tiedeakatemiassa sekä Sigma Xi- ja Phi Beta Kappa Societyssa .

Helmikuun 2009 lopussa Clarke sijoittui sijalle 28 CiteSeer -projektin eniten siteerattujen kirjoittajien luettelossa . [5]

Kirjat

Palkinnot

Muistiinpanot

  1. ↑ Edmund Clarke kehitti menetelmiä ohjelmistojen ja laitteistovirheiden havaitsemiseen
  2. ↑ Matemaattinen sukututkimus  (englanniksi) - 1997.
  3. ↑ Edmund M. Clarke, Carnegie Mellonin yliopiston emeritusprofessori ja vuoden 2007 Turing-palkinnon saaja, joka vastaa tietojenkäsittelytieteen Nobel-palkintoa, kuoli joulukuussa. 22 COVID-19 . Haettu 24. joulukuuta 2020. Arkistoitu alkuperäisestä 23. joulukuuta 2020.
  4. ↑ Nimetön asiakirja . Haettu 19. helmikuuta 2009. Arkistoitu alkuperäisestä 1. joulukuuta 2009.
  5. ↑ Tilastot - Tietojenkäsittelytieteen eniten siteeratut kirjoittajat . Haettu 27. helmikuuta 2009. Arkistoitu alkuperäisestä 1. toukokuuta 2012.
  6. ↑ Arkistoitu kopio (linkki ei saatavilla) . Haettu 19. helmikuuta 2009. Arkistoitu alkuperäisestä 27. toukokuuta 2009. 
  7. ↑ ACM Award Citation / Edmund M Clarke Arkistoitu 6. huhtikuuta 2009 Wayback Machinessa
  8. ↑ SCHOOL OF COMPUTER SCIENCE, Carnegie Mellon Arkistoitu 11. kesäkuuta 2011.
  9. ↑ Järjestelmä ei ole käytettävissä (linkki ei käytettävissä) . Haettu 18. syyskuuta 2019. Arkistoitu alkuperäisestä 29. kesäkuuta 2011. 
  10. ↑ Vuosittaisen Turing Award -palkinnon saajat - Tiede ja teknologia - Compulenta julkistettu (pääsemätön linkki) . Haettu 19. helmikuuta 2009. Arkistoitu alkuperäisestä 21. helmikuuta 2009. 
  11. ↑ ACM Award Citation / Edmund M Clarke (linkki ei saatavilla) . Haettu 19. helmikuuta 2009. Arkistoitu alkuperäisestä 3. toukokuuta 2009. 
  12. ↑ Herbrand-palkinto tunnustetusta panoksesta automatisoituun päättelyyn arkistoitu 10. joulukuuta 2008 Wayback Machinessa 

Katso myös

Linkit

 Turing-palkinnon voittajat
  Siirry Wikidata-kohteeseen  Temaattiset sivustot
Sanakirjat ja tietosanakirjat