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 | ![]() ![]() |
Ocupație | informatician cadru didactic universitar[*] inginer matematician ![]() |
Limbi vorbite | limba engleză ![]() |
Activitate | |
Rezidență | ![]() |
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[*][[National Academy of Engineering (engineering branch of the United States National Academies)|]][3] Association for Computing Machinery[4] ![]() |
Cunoscut pentru | Model checking |
Premii | Premiul Turing, 2007 |
Prezență online | |
site web oficial | |
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
- ^ 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) - ^ a b Edmund M. Clarke, SNAC, accesat în
- ^ a b c 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! |