Исследования Скотта связанны с теорией моделей, теорией автоматов, модальной и интуиционистской логиками, конструктивной математикой и связью между логикой и теорией категорий.
Сделал крупный вклад в развитие компьютерных наук, разработав математическую теорию вычислений. Им была разработана модель бестипового λ-исчисления, для чего предварительно была развита теория аппроксимационных решеток.
Работы Скотта в области компьютерных наук направлены на теорию и модели вычислений, включая разработку денотационной семантики языков программирования и математических основ вычислимости.
«Мальцевские чтения-2009» проходят с 24 по 28 августа, в них участвуют ученые со всего мира – заявлены докладчики не только из России, но и из США, Канады, Италии, Новой Зеландии, Великобритании, Германии, Болгарии, Бразилии, Португалии и Китая. Конференция посвящена памяти выдающегося математика академика Анатолия Ивановича Мальцева.
Как пояснил ученый секретарь Оргкомитета конференции, старший научный сотрудник ИИ СО РАН, кандидат физико-математических наук Александр Кравченко, «обычно мы проводим Мальцевские чтения в ноябре, но в это году, в связи с юбилеем, было решено передвинуть время на август. Обычно в конференции участвует около 100 ученых, но в этом году к нам приехало около трехсот математиков со всего мира».
Academ.info