Jump to content

Carolyn Talcott

From Wikipedia, the free encyclopedia

This is an old revision of this page, as edited by 130.107.98.141 (talk) at 18:24, 22 July 2016 (Fixed CV link.). The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.

Carolyn Talcott
Carolyn Talcott in 2004
Born (1941-06-14) June 14, 1941 (age 83)[2]
CitizenshipUnited States of America
Alma materUniversity of Denver (B.S.)
UC Berkeley (Ph.D.)
Stanford University (Ph.D.)
Scientific career
FieldsComputer science
Systems biology
InstitutionsStanford University
SRI International
ThesisThe Essence of RUM: A Theory of the Intensional and Extensional Aspects of LISP-Type Computation (1985)
Doctoral advisorSolomon Feferman[1]
Notable studentsNalini Venkatasubramanian[2]
Websiteblackforest.stanford.edu/clt/

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

Career

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

  1. ^ "Carolyn L. Talcott". Mathematics Genealogy Project. North Dakota State University. Retrieved 2012-10-14.
  2. ^ a b c "Carolyn Talcott Curriculum Vita". Stanford University. Retrieved 2012-10-14.
  3. ^ a b "Our People: Carolyn Talcott". SRI International. Retrieved 2012-10-14.
  4. ^ Sylvan, Pinsky (2011). "Honoring Carolyn Talcott's contributions to science". Formal modeling. Berlin, Heidelberg: Springer-Verlag. pp. 4–19. ISBN 978-3-642-24932-7. {{cite book}}: Unknown parameter |editors= ignored (|editor= suggested) (help)
  5. ^ "Higher-Order and Symbolic Computation". Springer Science+Business Media. Retrieved 2012-10-14.