Carolyn Talcott
American computer scientist

Carolyn Talcott

The basics
Quick facts
Intro
American computer scientist
Gender:
Female
Birth:
14 June 1941
Biography menu
Menu

Jump to

Introduction Early life and education Career Awards and memberships
The details
Biography

Introduction

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.

Early life and education

Career

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.