Carolyn Talcott
Academic Editor

Carolyn Talcott


Dr. Carolyn Talcott is a Program Director in CSL, and SRI fellow. She has PhD's in Chemistry and Computer Science. She leads the Symbolic Systems Technology and Pathway Logic groups. She has over 25 years experience in formal modeling and analysis. At SRI, Dr. Talcott is leading research in symbolic systems biology, security protocol analysis, and formal analysis applied to embedded systems and next-generation networks.

Theory & Formal Methods

Work details

Program Director

SRI International
Computer Science Laboratory