• Skip to primary navigation
  • Skip to main content
SRI logo
  • About
    • Press room
    • Our history
  • Expertise
    • Advanced imaging systems
    • Artificial intelligence
    • Biomedical R&D services
    • Biomedical sciences
    • Computer vision
    • Cyber & formal methods
    • Education and learning
    • Innovation strategy and policy
    • National security
    • Ocean & space
    • Quantum
    • QED-C
    • Robotics, sensors & devices
    • Speech & natural language
    • Video test & measurement
  • Ventures
  • NSIC
  • Careers
  • Contact
  • 日本支社
Search
Close
Bios September 8, 2021

Carolyn Talcott

Program Director, Symbolic Systems Biology, Computer Science Laboratory

Carolyn Talcott, Ph.D., is program director of the symbolic systems biology group at SRI International. Her work, published in more than 130 articles, can be summarized under the general heading of formal reasoning about computers and biological systems. The importance of formal reasoning lies in its ability to discover and verify properties of systems that support critical infrastructure, financial, manufacturing, and military applications. Talcott has also applied formal reasoning to better understand complex biological systems.

Talcott was named an SRI Fellow in 2011.

Recent publications

more +
Machine Learning Models and Pathway Genome Data Base for Trypanosoma cruzi Drug Discovery (6/1/2015) - We have demonstrated how combining chemoinformatics and bioinformatics for T. cruzi drug discovery can bring interesting in vivo active molecules…
Discrete Vs. Dense Times in the Analysis of Cyber-Physical Security Protocols (4/1/2015) - This paper investigates the foundational differences and the impacts on the analysis when using models with discrete time and models…
Soft Agents: Exploring Soft Constraints to Model Robust Adaptive Distributed Cyber-Physical Agent Systems (1/1/2015) - We are interested in principles for designing and building open distributed systems consisting of multiple cyber-physical agents, specifically, where a…

How can we help?

Once you hit send…

We’ll match your inquiry to the person who can best help you.

Expect a response within 48 hours.

Career call to action image

Make your own mark.

Search jobs

Our work

Case studies

Publications

Timeline of innovation

Areas of expertise

Institute

Leadership

Press room

Media inquiries

Compliance

Careers

Job listings

Contact

SRI Ventures

Our locations

Headquarters

333 Ravenswood Ave
Menlo Park, CA 94025 USA

+1 (650) 859-2000

Subscribe to our newsletter


日本支社
SRI International
  • Contact us
  • Privacy Policy
  • Cookies
  • DMCA
  • Copyright © 2022 SRI International