Едмунд Кларк

Из Википедије, слободне енциклопедије
Иди на навигацију Иди на претрагу
Едмунд Кларк
Edmund Clarke FLoC 2006.jpg
Едмунд Кларк
Датум рођења(1945-07-27)27. јул 1945.(73 год.)
ПољеРачунарство
ОбразовањеУниверзитет Корнел
НаградеТјурингова награда (2007)
Веб-сајтwww.cs.cmu.edu/~emc/

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

Референце[уреди]

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

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