Carolyn Talcott

Carolyn Talcott
Carolyn Talcott in 2004
Born	(1941-06-14) June 14, 1941 (age 75) Caldwell, Idaho
Fields	Computer science Systems biology
Institutions	Stanford University SRI International
Alma mater	University of Denver UC Berkeley Stanford University
Thesis	The Essence of RUM: A Theory of the Intensional and Extensional Aspects of LISP-Type Computation (1985)
Doctoral advisor	Solomon Feferman
Notable students	Nalini Venkatasubramanian
Website www.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.

She is currently the co-editor-in-chief of Higher-Order and Symbolic Computation.

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