| Intro | American computer scientist |
| Is | Computer scientist |
| From | United States of America |
| Type |
Technology Science |
| Gender | female |
| Birth | 14 June 1941 |
| Age: | 79 years |
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.
Early life and education
Career
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.