Дана Скотт

Исследования Скотта связаны с теорией моделей, теорией автоматов, модальной и интуиционистской логиками, конструктивной математикой и связью между логикой и теорией категорий. Философские интересы лежат в области оснований логики, философии математики и семантического анализа естественных языков.

Сделал крупный вклад в развитие информатики, разработав математическую теорию вычислений. Им была разработана модель бестипового λ-исчисления, для чего была введена специальная топология (позднее названная его именем), вначале на полных решётках, и впоследствии обобщенная до полных частично упорядоченных множеств. В рамках этой модели развил теорию и модели вычислений, разработал принципы денотационной семантики языков программирования, углубил понятие о вычислимости.

В 1997 году в номинации «логика и философия» получил премию Рольфа Шока за концептуально ориентированные логические работы, особенно по созданию теории областей, что позволило применить семантическую парадигму Тарского к языкам программирования, а также построить модели комбинаторной логики Карри и лямбда-исчисления Чёрча.

В 2001 году стал лауреатом премии Больцано от Академии наук Чехии за заслуги в области математики.

В 2007 году получил награду от Европейской ассоциации по теоретической информатике в знак признания вклада в теоретическую информатику и продуктивной научной карьеры.

Почётный доктор Сент-Эндрюсского университета (2014).

·        1972 -  премия Стилла

·        1976 – премия Тьюринга

·        1990 -  премии Гарольда Пендера 

·        1997 - премию Рольфа Шока 

·        2009 -  Институт математики СО РАН присудил учёному золотую медаль за вклад в математику