• Skip to primary navigation
  • Skip to main content
SRI InternationalSRI mobile logo

SRI International

SRI International - American Nonprofit Research Institute

  • About
    • Blog
    • Press room
  • 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
  • 日本支社
Show Search
Hide Search
Bios September 8, 2021

Carolyn Talcott

SRI International September 8, 2021

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) - BACKGROUND: Chagas disease is a neglected tropical disease (NTD) caused by the eukaryotic parasite Trypanosoma cruzi. The current clinical and…
Discrete Vs. Dense Times in the Analysis of Cyber-Physical Security Protocols (4/1/2015) - Many security protocols rely on the assumptions on the physical properties in which its protocol sessions will be carried out.…
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…

Share this

Facebooktwitterlinkedinmail

Bios, Other Innovators

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.

Our privacy policy
Career call to action image

Make your own mark.

Search jobs
Our work

Case studies

Publications

Timeline of innovation

Areas of expertise

Blog

Institute

Leadership

Press room

Media inquiries

Compliance

Privacy policy

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

  • Privacy Policy
  • Cookies
  • DMCA
  • Copyright © 2022 SRI International