Дейна Скот: Разлика между версии

Харолд Pender - награда за прилагането му на понятия от логиката и алгебра за развитието на математическата семантика на езиците за програмиране от 1990 г.;

В 1997 Rolf Schock - награда в логиката и философията на [[Кралска шведска академия на науките]] за неговите концептуално ориентирани логични работи, особено създаването на домейн теория.

Болцано - награда за заслуги в областта на математическите науки от Чешката академия на науките от 2001 г..

EATCS Award за 2007 г. за неговия принос към теоретичните компютърни науки.