Edmund Clarke
| Edmund Melson Clarke, Jr. | |
 | |
| Date personale | |
|---|---|
| Născut | [1]  Newport News(d), SUA |
| Decedat | (75 de ani)[2] Pittsburgh, SUA |
| Cauza decesului | cauze naturale (COVID-19[2]) |
| Cetățenie | .svg){kind=small} 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[6] |
| Cunoscut pentru | Model checking |
| Premii | Premiul Turing, 2007 |
| Prezență online | |
Modifică date / text  | |
Edmund Melson Clarke, Jr. (n. , Newport News(d), SUA – d. , Pittsburgh, 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ă]- ↑ „Edmund M. Clarke” (în engleză). SNAC. Wikidata Q29861311. Accesat în .
- 1 2 „Edmund Clarke Pioneered Methods For Detecting Software, Hardware Errors”.
- 1 2 3 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)
| Acest articol biografic despre un american este un ciot. Puteți ajuta Wikipedia prin completarea lui! |