Едмунд Кларк
Едмунд Мелсон Кларк млађи (енгл. Edmund Melson Clarke, Jr.; Њупорт Њуз, 27. јул 1945 — Питсбург, 22. децембар 2020) био је амерички научник из области рачунарства који је 2007. године, заједно са Аленом Емерсоном и Жозефом Сифакисем, добио Тјурингову награду.[1][2]
Едмунд Кларк | |
---|---|
Лични подаци | |
Датум рођења | 27. јул 1945. |
Место рођења | Њупорт Њуз, Вирџинија, САД |
Датум смрти | 22. децембар 2020.75 год.) ( |
Место смрти | Питсбург, |
Образовање | Универзитет Корнел |
Научни рад | |
Поље | Рачунарство |
Награде | Тјурингова награда (2007) |
Званични веб-сајт | |
www |
Референце
уреди- ^ „Edmund Clarke - A.M. Turing Award Laureate”. amturing.acm.org. Приступљено 22. 1. 2019.
- ^ „Edmund M. Clarke | Biography, Turing Award, & Facts | Britannica”. www.britannica.com (на језику: енглески). Приступљено 2023-01-27.