Дана Скотт
-
Биография Даны Скотт
- Дана Скотт — американский математик, известный своими работами в области денотационной семантики и теории информационных систем.
- Она получила образование в Гарвардском университете и работала в IBM, где занималась разработкой языков программирования.
- Скотт получила множество наград за свои достижения в области теоретической информатики, включая премию Тьюринга.
-
Вклад в информатику
- Она разработала теорию предметной области, которая позволяет придавать денотационную семантику рекурсивным функциям и конструкциям с циклическим управлением.
- Она также заложила основы для понимания бесконечной и непрерывной информации.
- Ее работы привели к появлению новых премий и наград в области теоретической информатики.
-
Карьера в Университете Карнеги-Меллона
- В Университете Карнеги-Меллона она предложила теорию эквилогических пространств, которая является преемницей теории предметных областей.
- Она была избрана членом Ассоциации вычислительной техники и Американского математического общества.
-
Библиография
- Она сотрудничала с Майклом О. Рабином над работой о конечных автоматах и проблеме их решения.
- Она опубликовала множество статей и книг, включая «Советы по модальной логике» и «Введение в модальную логику».
-
Дальнейшее чтение и внешние ссылки
- В статье приведены рекомендации по дальнейшему чтению и внешние ссылки, включая семинар по теории доменов и интервью с Даной Скотт.
Полный текст статьи: