Исследования Скотта
связаны с теорией
моделей, теорией
автоматов, модальной и интуиционистской логиками, конструктивной
математикой и связью между логикой и теорией
категорий. Философские интересы лежат
в области оснований логики, философии
математики и семантического
анализа естественных
языков.
Сделал крупный вклад в
развитие информатики, разработав математическую теорию
вычислений. Им была разработана модель бестипового λ-исчисления, для чего была введена специальная топология (позднее названная его именем), вначале на полных
решётках, и впоследствии обобщенная
до полных частично упорядоченных множеств. В рамках этой модели развил теорию и модели вычислений, разработал принципы денотационной семантики языков
программирования, углубил понятие о вычислимости.
В 1997 году в номинации «логика и философия» получил
премию Рольфа Шока за концептуально ориентированные логические работы, особенно
по созданию теории областей, что позволило применить семантическую парадигму
Тарского к языкам программирования, а также построить модели комбинаторной
логики Карри и лямбда-исчисления Чёрча.
В 2001 году стал лауреатом премии Больцано от Академии
наук Чехии за заслуги в области математики.
В 2007 году получил награду от Европейской ассоциации
по теоретической информатике в знак признания вклада в теоретическую
информатику и продуктивной научной карьеры.
Почётный доктор Сент-Эндрюсского университета (2014).
·
1972 - премия Стилла
·
1976 – премия
Тьюринга
·
1990 - премии Гарольда
Пендера
·
1997
- премию Рольфа Шока
·
2009
- Институт математики СО РАН присудил учёному золотую медаль за вклад в
математику
