Capture phrases in quotes for more specific queries (e.g. "rocket ship" or "Fred Lynn")

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.

close check icon

Message Sent

Success! - Thank you for your interest.


SRI and its partners use cookies to improve your browsing experience. If you continue to use this website without changing your cookie settings, you are consenting to the use of cookies by SRI and its partners. For more information on SRI’s privacy practices, including how to decline the use of cookies, please read our Privacy Policy.

I agree
share dwonload plus email external external project copy play call directions linkedin