Изучите популярные цитаты и высказывания американского профессора Даны Скотт.
Последнее обновление: 7 октября 2024 г.
Дана Стюарт Скотт — американский логик, почетный профессор компьютерных наук, философии и математической логики Университета Хиллмана в Университете Карнеги-Меллона; сейчас он на пенсии и живет в Беркли, Калифорния. Его работа по теории автоматов принесла ему премию Тьюринга в 1976 году, а его совместная работа с Кристофером Стрейчи в 1970-х годах заложила основы современных подходов к семантике языков программирования. Он также работал над модальной логикой, топологией и теорией категорий.