Residence USA | Education Stanford University Name Carolyn Talcott | |
Born June 14, 1941 (age 82)
Caldwell, Idaho ( 1941-06-14 ) Citizenship United States of America Institutions Stanford University
SRI International Alma mater University of Denver (B.S.)
UC Berkeley (Ph.D.)
Stanford University (Ph.D.) Thesis The Essence of RUM: A Theory of the Intensional and Extensional Aspects of LISP-Type Computation (1985) Fields Computer Science, Systems biology | ||
Notable students Nalini Venkatasubramanian Doctoral advisor Solomon Feferman |
Carolyn talcott the maude execution environment 2 9 04
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.
Contents
She is currently the co-editor-in-chief of Higher-Order and Symbolic Computation.
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.
References
Carolyn Talcott Wikipedia(Text) CC BY-SA