Едмунд Кларк

Едмунд Кларк
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]

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

  1. ^ „Edmund Clarke - A.M. Turing Award Laureate”. amturing.acm.org. Приступљено 22. 1. 2019. 

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