Едмунд Кларк

С Википедије, слободне енциклопедије
Едмунд Кларк
Edmund Clarke FLoC 2006.jpg
Лични подаци
Датум рођења(1945-07-27)27. јул 1945.
Место рођењаЊупорт Њуз, Вирџинија, Сједињене Америчке Државе
Датум смрти22. децембар 2020.(2020-12-22) (75 год.)
ОбразовањеУниверзитет Корнел
Научни рад
ПољеРачунарство

НаградеТјурингова награда (2007)
Званични веб-сајт
www.cs.cmu.edu/~emc/

Едмунд Мелсон Кларк млађи (енгл. Edmund Melson Clarke, Jr., 27. јул 194522. децембар 2020) био је амерички научник из области рачунарства који је 2007. године, заједно са Аленом Емерсоном и Жозефом Сифакисем, добио Тјурингову награду.[1][2]

Референце[уреди | уреди извор]

  1. ^ „Edmund Clarke - A.M. Turing Award Laureate”. amturing.acm.org. Приступљено 22. 1. 2019. 
  2. ^ „Edmund M. Clarke | Biography, Turing Award, & Facts | Britannica”. www.britannica.com (на језику: енглески). Приступљено 2023-01-27. 

Спољашње везе[уреди | уреди извор]