Sari la conținut

Edmund Clarke

De la Wikipedia, enciclopedia liberă
Edmund Melson Clarke, Jr.
Date personale
Născut[5] Modificați la Wikidata
Newport News⁠(d), Virginia, SUA Modificați la Wikidata
Decedat (75 de ani)[6] Modificați la Wikidata
Pittsburgh, Pennsylvania, SUA Modificați la Wikidata
Cauza decesuluicauze naturale (COVID-19[6]) Modificați la Wikidata
Cetățenie Statele Unite ale Americii Modificați la Wikidata
Ocupațieinformatician
cadru didactic universitar[*]
inginer
matematician Modificați la Wikidata
Limbi vorbitelimba engleză Modificați la Wikidata
Activitate
RezidențăStatele Unite ale Americii Statele Unite ale Americii
Domeniuinformatician
InstituțieUniversitatea Harvard
Universitatea Carnegie Mellon
Alma MaterUniversitatea din Virginia[*][1]
Duke University[1]
Universitatea Cornell[1]  Modificați la Wikidata
OrganizațiiInstitutul Inginerilor Electrotehniști și Electroniști
Academia Americană de Arte și Științe[*][2]
National Academy of Engineering[*][[National Academy of Engineering (engineering branch of the United States National Academies)|​]][3]
Association for Computing Machinery[4]  Modificați la Wikidata
Cunoscut pentruModel checking
PremiiPremiul Turing, 2007
Prezență online

Edmund Melson Clarke, Jr. (n. , Newport News⁠(d), Virginia, SUA – d. , Pittsburgh, Pennsylvania, SUA) a fost un informatician american, cunoscut pentru dezvoltarea conceptului de model checking ca metodă de verificare formală a proiectelor hardware și software. Împreună cu E. Allen Emerson și Joseph Sifakis, a primit în 2007 Premiul Turing.

  1. ^ a b c https://www.cs.cmu.edu/~emc/bio.html  Lipsește sau este vid: |title= (ajutor)
  2. ^ (PDF) https://www.amacad.org/multimedia/pdfs/publications/bookofmembers/ChapterC.pdf, accesat în   Lipsește sau este vid: |title= (ajutor)
  3. ^ https://www.nae.edu/MembersSection/MemberDirectory/30873.aspx  Lipsește sau este vid: |title= (ajutor)
  4. ^ https://awards.acm.org/fellows/award-recipients, accesat în   Lipsește sau este vid: |title= (ajutor)
  5. ^ Edmund M. Clarke, SNAC, accesat în  
  6. ^ a b Edmund Clarke Pioneered Methods For Detecting Software, Hardware Errors (în engleză)