Английская Википедия:Carolyn Talcott

Материал из Онлайн справочника
Версия от 10:36, 15 февраля 2024; EducationBot (обсуждение | вклад) (Новая страница: «{{Английская Википедия/Панель перехода}} {{short description|American computer scientist (born 1941)}} {{Infobox scientist | name = Carolyn Talcott | image = Carolyn Talcott.jpg | image_size = | alt = | caption = Carolyn Talcott in 2004 | birth_date = {{Birth date and age|1941|06|14}}<ref name="bio">{{cite web|url=http://www.jlambda.com/clt/bio|title=Carolyn Tal...»)
(разн.) ← Предыдущая версия | Текущая версия (разн.) | Следующая версия → (разн.)
Перейти к навигацииПерейти к поиску

Шаблон:Short description Шаблон:Infobox scientist Carolyn Talcott (born June 14, 1941) is an American computer scientist known for work in formal reasoning, especially as it relates to computers, cryptanalysis and systems biology. She is currently the program director of the Symbolic Systems Biology group at SRI International.[1][2]

She is currently the co-editor-in-chief of Higher-Order and Symbolic Computation.[3] Talcott married John McCarthy (computer scientist) and had a son.[4]

Early life and education

Carolyn was born to Howard Talcott and Harriet Louise Mitchell who were Presbyterians from Idaho.[5][6] Talcott earned a Ph.D. from Stanford University in 1985. Her dissertation, The Essence of RUM: A Theory of the Intensional and Extensional Aspects of LISP-Type Computation, was supervised by Solomon Feferman.[7]

Awards and memberships

Talcott was named an SRI Fellow in 2011.[1] She is a member of the Association for Computing Machinery and the Association for Symbolic Logic.[8]

References

Шаблон:Reflist

External links

Шаблон:Authority control


Шаблон:Compu-scientist-stub

Партнерские ресурсы
Криптовалюты
Магазины
Хостинг
Разное

  1. ↑ 1,0 1,1 Шаблон:Cite web
  2. ↑ Шаблон:Cite book
  3. ↑ Шаблон:Cite web
  4. ↑ http://www.nasonline.org/publications/biographical-memoirs/memoir-pdfs/mccarthy-john.pdf Шаблон:Bare URL PDF
  5. ↑ Шаблон:Cite web
  6. ↑ Шаблон:Cite web
  7. ↑ Ошибка цитирования Неверный тег <ref>; для сносок mathgen не указан текст
  8. ↑ Ошибка цитирования Неверный тег <ref>; для сносок bio не указан текст
Источник — http://wikihandbk.com/ruwiki/index.php?title=Английская_Википедия:Carolyn_Talcott&oldid=13793304