|Born||June 14, 1941|
|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.
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
- "Carolyn Talcott Curriculum Vita". Stanford University. Retrieved 2012-10-14.
- Carolyn Talcott at the Mathematics Genealogy Project
- "Our People: Carolyn Talcott". SRI International. Retrieved 2012-10-14.
- 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.
- "Higher-Order and Symbolic Computation". Springer Science+Business Media. Archived from the original on 2013-02-11. Retrieved 2012-10-14.