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]
Newport News⁠(d), Virginia, SUA
Decedat (75 de ani)[2]
Pittsburgh, Pennsylvania, SUA
Cauza decesuluicauze naturale (COVID-19[2])
Cetățenie Statele Unite ale Americii
Ocupațieinformatician
cadru didactic universitar[*]​
inginer
matematician
Limbi vorbitelimba engleză
Activitate
Rezidență Statele Unite ale Americii
Domeniuinformatician
InstituțieUniversitatea Harvard
Universitatea Carnegie Mellon
Alma MaterUniversitatea din Virginia[*]​[3]
Duke University[3]
Universitatea Cornell[3] 
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 
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.