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.