Carolyn Talcott

Carolyn Talcott
Carolyn Talcott in 2004
Born (1941-06-14) June 14, 1941 (age 83)[2]
Caldwell, Idaho
Alma mater
Scientific career
Fields
Institutions
ThesisThe Essence of RUM: A Theory of the Intensional and Extensional Aspects of LISP-Type Computation (1985)
Doctoral advisorSolomon Feferman[1]
Notable studentsNalini Venkatasubramanian[2]
Websitewww.jlambda.com/clt/

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.[3][4]

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

  1. ^ Carolyn Talcott at the Mathematics Genealogy Project
  2. ^ a b "Carolyn Talcott Curriculum Vita". Stanford University. Retrieved 2012-10-14.
  3. ^ "Our People: Carolyn Talcott". SRI International. Retrieved 2012-10-14.
  4. ^ Sylvan, Pinsky (2011). "Honoring Carolyn Talcott's contributions to science". In Agha, Gul; Meseguer, Jose; Danvy, Olivier (eds.). Formal modeling. Berlin, Heidelberg: Springer-Verlag. pp. 4–19. ISBN 978-3-642-24932-7.
  5. ^ "Higher-Order and Symbolic Computation". Springer Science+Business Media. Archived from the original on 2013-02-11. Retrieved 2012-10-14.
  6. ^ "John McCarthy 1927-2011 - Biographical Memoirs" (PDF). Archived from the original (PDF) on 2020-12-21.