Carolyn Talcott

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.

She is currently the co-editor-in-chief of ''Higher-Order and Symbolic Computation''. Talcott married John McCarthy (computer scientist) and had a son. Provided by Wikipedia
Cover Image
Read Now

1
by Arbab, Farhad
Published 2002
Springer-Verlag Berlin Heidelberg
Other Authors: “...Talcott, Carolyn...”
Cover Image
Read Now

2
Published 2002
Springer Berlin Heidelberg
Other Authors: “...Talcott, Carolyn...”
Cover Image
Read Now

4
Published 2021
Springer International Publishing
Other Authors: “...Talcott, Carolyn...”
Cover Image
Read Now

5
Published 2015
Springer International Publishing
Other Authors: “...Talcott, Carolyn...”
Cover Image
Read Now

6
Published 2020
Springer International Publishing
Other Authors: “...Talcott, Carolyn...”