Edmund Clarke
Edmund Melson Clarke, Jr. | |
Date personale | |
---|---|
Născut | [1] Newport News(d), Virginia, SUA |
Decedat | (75 de ani)[2] Pittsburgh, Pennsylvania, SUA |
Cauza decesului | cauze naturale (COVID-19[2]) |
Cetățenie | Statele Unite ale Americii |
Ocupație | informatician cadru didactic universitar[*] inginer matematician |
Limbi vorbite | limba engleză |
Activitate | |
Rezidență | Statele Unite ale Americii |
Domeniu | informatician |
Instituție | Universitatea Harvard Universitatea Carnegie Mellon |
Alma Mater | Universitatea din Virginia[*][3] Duke University[3] Universitatea Cornell[3] |
Organizații | Institutul Inginerilor Electrotehniști și Electroniști Academia Americană de Arte și Științe[*][4] National Academy of Engineering[*][5] Association for Computing Machinery |
Cunoscut pentru | Model checking |
Premii | Premiul Turing, 2007 |
Prezență online | |
Modifică date / text |
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.
Note[modificare | modificare sursă]
- ^ a b Edmund M. Clarke, SNAC, accesat în
- ^ a b c Edmund Clarke Pioneered Methods For Detecting Software, Hardware Errors (în engleză)
- ^ a b c https://www.cs.cmu.edu/~emc/bio.html Lipsește sau este vid:
|title=
(ajutor) - ^ (PDF) https://www.amacad.org/multimedia/pdfs/publications/bookofmembers/ChapterC.pdf, accesat în Lipsește sau este vid:
|title=
(ajutor) - ^ https://www.nae.edu/MembersSection/MemberDirectory/30873.aspx Lipsește sau este vid:
|title=
(ajutor)
|