Докторская диссертация 1985 года в Стэнфордском университете под названием The Essence of RUM: A Theory of the Intensional and Extensional Aspects of LISP-Type Computation утвердила Кэролин Талкотт (Carolyn Talcott) в качестве значимого исследователя в области формального рассуждения. Ее работа связывает абстрактную теорию вычислений с практическими приложениями в криптоанализе и сложной динамикой, присущей биологическим системам.
Академический фундамент
Талкотт родилась в 1941 году в Колдуэлле в семье Говарда Талкотта и Хэрриет Луизы Митчелл. Она прошла обширный академический путь. Ее формальное образование включало обучение в Денверском университете, Калифорнийском университете в Беркли и Стэнфордском университете. Она получила степень Ph.D. в Стэнфорде в 1985 году под руководством Соломона Фефермана (Solomon Feferman).
Исследовательская и профессиональная деятельность
Талкотт занимает должность директора программы группы биологии символьных систем в SRI International. Ее профессиональная деятельность также включает редакторскую работу: она является соредактором публикации Higher-Order and Symbolic Computation. Ее карьера определяется техническим исследованием компьютерных систем, криптоанализом и моделированием биологических процессов с помощью формальной логики.
Институциональные связи
На протяжении всей карьеры Талкотт поддерживала академические и исследовательские связи со Стэнфордским университетом и SRI International. Ее вклад в эту область принес ей звание SRI Fellow в 2011 году. Она остается активным членом профессиональных организаций, включая Ассоциацию символьной логики (Association for Symbolic Logic) и Ассоциацию вычислительной техники (Association for Computing Machinery).
Двадцать вопросов, восемь минут на часах и процентиль, измеренный по всем, кто его проходил. Без регистрации.
Пройти тест IQ →Краткие факты
- Рождение: 1941, Колдуэлл - Гражданство: Соединенные Штаты - Образование: Денверский университет, Калифорнийский университет в Беркли, Стэнфордский университет - Текущая должность: Директор программы, SRI International - Признание: SRI Fellow, 2011 - Важная роль: Соредактор, Higher-Order and Symbolic Computation
Вопросы, которые задают читатели
### Какова основная направленность исследований Кэролин Талкотт?
Она специализируется на формальном рассуждении, применяемом к компьютерным системам, криптоанализу и биологии символьных систем.
### Где Талкотт получила степень доктора?
Она получила степень Ph.D. в Стэнфордском университете в 1985 году.
