Edmund Clarke
| Edmund Melson Clarke, Jr. | |
 | |
| Date personale | |
|---|---|
| Născut | [5]  Newport News(d), Virginia, SUA |
| Decedat | (75 de ani)[6] Pittsburgh, Pennsylvania, SUA |
| Cauza decesului | cauze naturale (COVID-19[6]) |
| 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[*][1] Duke University[1] Universitatea Cornell[1] |
| Organizații | Institutul Inginerilor Electrotehniști și Electroniști Academia Americană de Arte și Științe[*][2] National Academy of Engineering[*][3] Association for Computing Machinery[4] |
| 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- ^ 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) - ^ https://awards.acm.org/fellows/award-recipients, accesat în Lipsește sau este vid:
|title=(ajutor) - ^ Edmund M. Clarke, SNAC, accesat în
- ^ a b Edmund Clarke Pioneered Methods For Detecting Software, Hardware Errors (în engleză)
| | Acest articol biografic despre un american este un ciot. Puteți ajuta Wikipedia prin completarea lui! |