kids encyclopedia robot

Carolyn Talcott facts for kids

Kids Encyclopedia Facts
Quick facts for kids
Carolyn Talcott
Carolyn Talcott.jpg
Carolyn Talcott in 2004
Born (1941-06-14) June 14, 1941 (age 83)
Alma mater
Scientific career
Fields
Institutions
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

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 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 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 and the Association for Symbolic Logic.

kids search engine
Carolyn Talcott Facts for Kids. Kiddle Encyclopedia.