Toggle Menu

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.

Carolyn Talcott

SRI Ideation Workshops

Coming up with Big Ideas is easy. Turning Big Ideas into concrete reality is where SRI Ideation Workshops come in. Over a concentrated period of time, our Ideation Workshops help you develop clear roadmaps to take your most ambitious, most meaningful projects from initial proof of concept to market.

Get started today.