Edmund Clarke

De la Wikipedia, enciclopedia liberă
Jump to navigation Jump to search
Edmund Melson Clarke, Jr.
Edmund Clarke FLoC 2006.jpg
Date personale
Născut (73 de ani)
Newport News[*], SUA Modificați la Wikidata
Naționalitateamerican
CetățenieFlag of the United States.svg SUA Modificați la Wikidata
Ocupațieinformatician
profesor universitar
cercetător
inginer 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[*]
Duke University
Universitatea Cornell  Modificați la Wikidata
OrganizațiiInstitutul Inginerilor Electrotehniști și Electroniști
Academia Americană de Arte și Științe[*][1]
National Academy of Engineering[*][2]
Association for Computing Machinery  Modificați la Wikidata
Cunoscut pentruModel checking
PremiiPremiul Turing, 2007
Prezență online

Edmund Melson Clarke, Jr. (n. 27 iulie 1945) este 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. ^ (PDF) https://www.amacad.org/multimedia/pdfs/publications/bookofmembers/ChapterC.pdf, accesat în   Lipsește sau este vid: |title= (ajutor)
  2. ^ https://www.nae.edu/MembersSection/MemberDirectory/30873.aspx  Lipsește sau este vid: |title= (ajutor)