Edmund Clarke

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.

Edmund Melson Clarke, Jr.
Date personale
Născut[1] Modificați la Wikidata
Newport News⁠(d), Virginia, SUA Modificați la Wikidata
Decedat (75 de ani)[2] Modificați la Wikidata
Pittsburgh, Pennsylvania, SUA Modificați la Wikidata
Cauza decesuluicauze naturale (COVID-19[2]) 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[*]​[3]
Duke University[3]
Universitatea Cornell[3]  Modificați la Wikidata
OrganizațiiInstitutul Inginerilor Electrotehniști și Electroniști
Academia Americană de Arte și Științe[*]​[4]
National Academy of Engineering[*][[National Academy of Engineering (engineering branch of the United States National Academies)|​]][5]
Association for Computing Machinery  Modificați la Wikidata
Cunoscut pentruModel checking
PremiiPremiul Turing, 2007
Prezență online

Note
  1. Edmund M. Clarke, SNAC, accesat în
  2. Edmund Clarke Pioneered Methods For Detecting Software, Hardware Errors (în engleză)
  3. https://www.cs.cmu.edu/~emc/bio.html Lipsește sau este vid: |title= (ajutor)
  4. (PDF) https://www.amacad.org/multimedia/pdfs/publications/bookofmembers/ChapterC.pdf, accesat în Lipsește sau este vid: |title= (ajutor)
  5. https://www.nae.edu/MembersSection/MemberDirectory/30873.aspx Lipsește sau este vid: |title= (ajutor)
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.