Едмунд Кларк

С Википедије, слободне енциклопедије
Пређи на навигацију Пређи на претрагу
Едмунд Кларк
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. 

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