Edmund Clarke
Edmund Melson Clarke (* 27. júl 1945, Newport News, Virgínia, USA – † 22. december 2020[1]) bol americký informatik známy najmä vďaka svojmu podielu na vývoji metódy overovania modelov (model checking). Za tento prínos dostal v roku 2007 spolu s Ernestom Allenom Emersonom a Josephom Sifakisom Turingovu cenu.
| Edmund Melson Clarke | |||
| americký informatik | |||
 | |||
| Narodenie | 27. júl 1945 Newport News, Virgínia, USA | ||
|---|---|---|---|
| Úmrtie | 22. december 2020 (75 rokov) | ||
| Alma mater | Cornell University | ||
| Deti | 3 | ||
| Odkazy | |||
| Webstránka | cmu.edu | ||
| Commons |  Edmund Clarke | ||
| |||
Referencie
- Edmund Clarke Pioneered Methods For Detecting Software, Hardware Errors | Carnegie Mellon School of Computer Science [online]. . Dostupné online.
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.