Carolyn Talcott
Jump to navigation
Jump to search
Carolyn Talcott | |
|---|---|
 Carolyn Talcott in 2004 | |
| Born | June 14, 1941[1] |
| 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[2] |
| Notable students | Nalini Venkatasubramanian[1] |
| 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]
Early life and education[edit]
![[icon]](https://en.wikipedia.org/wiki/File:Wiki_letter_w_cropped.svg){kind=small} | This section needs expansion. You can help by adding to it. (October 2012) |
Career[edit]
| This section needs expansion. You can help by adding to it. (October 2012) |
Awards and memberships[edit]
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.[1]
References[edit]
- ^ a b c "Carolyn Talcott Curriculum Vita". Stanford University. Retrieved 2012-10-14.
- ^ "Carolyn L. Talcott". Mathematics Genealogy Project. North Dakota State 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. Formal modeling. Berlin, Heidelberg: Springer-Verlag. pp. 4–19. ISBN 978-3-642-24932-7.CS1 maint: Uses editors parameter (link)
- ^ "Higher-Order and Symbolic Computation". Springer Science+Business Media. Retrieved 2012-10-14.
External links[edit]
- List of publications from DBLP
| P ≟ NP | This biographical article relating to a computer scientist is a stub. You can help Wikipedia by expanding it. |
