Carolyn Talcott
Carolyn Talcott | |
---|---|
Born | [2] | June 14, 1941
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[1] |
Notable students | Nalini Venkatasubramanian[2] |
Website | www |
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.[3][4]
She is currently the co-editor-in-chief of Higher-Order and Symbolic Computation.[5] Talcott married John McCarthy (computer scientist) and had a son.[6]
Early life and education
Carolyn was born to Howard Talcott and Harriet Louise Mitchell who were Presbyterians from Idaho.[7][8] 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.[1]
Awards and memberships
Talcott was named an SRI Fellow in 2011.[3] She is a member of the Association for Computing Machinery and the Association for Symbolic Logic.[2]
References
- ^ a b Carolyn Talcott at the Mathematics Genealogy Project
- ^ a b c "Carolyn Talcott Curriculum Vita". Stanford University. Retrieved 2012-10-14.
- ^ a b "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.
- ^ http://www.nasonline.org/publications/biographical-memoirs/memoir-pdfs/mccarthy-john.pdf [bare URL PDF]
- ^ "Harriet Louise Mitchell Arnold Obituary (2003) the Oregonian".
- ^ "Howard Winslow Talcott".
External links
- List of publications from DBLP
- All articles with bare URLs for citations
- Articles with bare URLs for citations from March 2022
- Articles with PDF format bare URLs for citations
- Articles with short description
- Short description is different from Wikidata
- Articles with hCards
- Articles with ISNI identifiers
- Articles with VIAF identifiers
- Articles with WorldCat Entities identifiers
- Articles with BIBSYS identifiers
- Articles with GND identifiers
- Articles with J9U identifiers
- Articles with LCCN identifiers
- Articles with Libris identifiers
- Articles with NTA identifiers
- Articles with ACM-DL identifiers
- Articles with DBLP identifiers
- Articles with MATHSN identifiers
- Articles with MGP identifiers
- Articles with ZBMATH identifiers
- Articles with SUDOC identifiers
- Living people
- American women computer scientists
- American computer scientists
- American 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
- All stub articles
- Computer scientist stubs