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
-
Machine Learning Models and Pathway Genome Data Base for Trypanosoma cruzi Drug Discovery
We have demonstrated how combining chemoinformatics and bioinformatics for T. cruzi drug discovery can bring interesting in vivo active molecules to light that may have been overlooked.
-
Discrete Vs. Dense Times in the Analysis of Cyber-Physical Security Protocols
This paper investigates the foundational differences and the impacts on the analysis when using models with discrete time and models with dense time.
-
Soft Agents: Exploring Soft Constraints to Model Robust Adaptive Distributed Cyber-Physical Agent Systems
We are interested in principles for designing and building open distributed systems consisting of multiple cyber-physical agents, specifically, where a coherent global view is unattainable and timely consensus is impossible.
-
Partially Ordered Knowledge Sharing and Fractionated Systems in the Context of Other Models for Distributed Computing
Traditional models based on strong computing primitives, such as atomic transactions, should be replaced by weaker models such as the partially ordered knowledge sharing model, which we motivate in this paper…
-
Expanding the Metabolite Mimic Approach to Identify Hits for Mycobacterium Tuberculosis
-
A Distributed Logic for Networked Cyber-Physical Systems
We describe a distributed logical framework designed to serve as a declarative semantic foundation for Networked Cyber-Physical Systems.