Carolyn Talcott (born June 14, 1941) is an American computer scientist known for work in

formal reasoning Reason is the capacity of consciously applying logic by drawing conclusions from new or existing information, with the aim of seeking the truth. It is closely associated with such characteristically human activities as philosophy, science, lan ...

, especially as it relates to computers,

cryptanalysis Cryptanalysis (from the Greek ''kryptós'', "hidden", and ''analýein'', "to analyze") refers to the process of analyzing information systems in order to understand hidden aspects of the systems. Cryptanalysis is used to breach cryptographic sec ...

and

systems biology Systems biology is the computational modeling, computational and mathematical analysis and modeling of complex biological systems. It is a biology-based interdisciplinary field of study that focuses on complex interactions within biological syst ...

. 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 married John McCarthy (computer scientist) and had a son.

Early life and education

Carolyn was born to Howard Talcott and Harriet Louise Mitchell who were Presbyterians from Idaho. Talcott earned a Ph.D. from

Stanford University Stanford University, officially Leland Stanford Junior University, is a private research university in Stanford, California. The campus occupies , among the largest in the United States, and enrolls over 17,000 students. Stanford is consider ...

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.

Awards and memberships

Talcott was named an SRI Fellow in 2011. She is a member of the

Association for Computing Machinery The Association for Computing Machinery (ACM) is a US-based international learned society for computing. It was founded in 1947 and is the world's largest scientific and educational computing society. The ACM is a non-profit professional member ...

and the

Association for Symbolic Logic The Association for Symbolic Logic (ASL) is an international organization of specialists in mathematical logic and philosophical logic. The ASL was founded in 1936, and its first president was Alonzo Church. The current president of the ASL is ...

References

External links

List of publications
from DBLP Living people American women computer scientists American computer scientists Theoretical computer scientists Systems biologists University of Denver alumni University of California, Berkeley alumni Stanford University alumni Stanford University faculty 1941 births People from Caldwell, Idaho SRI International people 21st-century American women {{Compu-scientist-stub