2026 Carolyn L. Talcott: Computer Science Researcher – H-Index, Publications & Awards

Discipline name	D-Index	World Ranking	Current World Ranking	National Ranking	Current National Ranking	Publications	Citations
Computer Science	39	9634	9358	4081	3912	303	8002

Overview

Carolyn L. Talcott is affiliated with SRI International in the United States. Their research primarily spans the fields of Computer Science and Engineering, with a strong emphasis on Computational Theory and Mathematics, Artificial Intelligence, and Computer Networks and Communications. Additionally, their work touches on areas such as Molecular Biology and Software.

The scientist's research topics cover a range of subjects that include:

Formal Methods in Verification
Petri Nets in System Modeling
Distributed Systems and Fault Tolerance
Security and Verification in Computing
Logic, Programming, and Type Systems
Model-Driven Software Engineering Techniques
Modular Robots and Swarm Intelligence

Carolyn L. Talcott has contributed to various publication venues, most notably:

arXiv (Cornell University)
Journal of Logical and Algebraic Methods in Programming
Journal of Computer Security
Electronic Proceedings in Theoretical Computer Science
Logica Universalis

Selected recent papers demonstrate the breadth of their research interests:

Resource and Timing Aspects of Security Protocols, 2021, Journal of Computer Security
A Semantic Model for Interacting Cyber-Physical Systems, 2021, Electronic Proceedings in Theoretical Computer Science
Logic-based Analysis of Gene Expression Data Predicts Association between TNF, TGFB1 and EGF Pathways in Basal-like Breast Cancer, 2020, Methods
Automated Construction of Security Integrity Wrappers for Industry 4.0 Applications, 2022, Journal of Logical and Algebraic Methods in Programming
A Probabilistic Approximate Logic for Neuro-symbolic Learning and Reasoning, 2021, Journal of Logical and Algebraic Methods in Programming

The scientist's work includes collaboration with frequent coauthors such as Vivek Nigam, Farhad Arbab, Benjamin Lion, Tajana Ban Kirigin, and Max Kanovich.

In addition to journal articles, Carolyn L. Talcott has authored books published by Springer Science+Business Media. Notable titles include Logic, Language, and Security (2020) and NASA Formal Methods (2022).

Best Publications

All About Maude - A High-Performance Logical Framework: How to Specify, Program, and Verify Systems in Rewriting Logic

Manuel Clavel;Francisco Durán;Steven Eker;Patrick Lincoln

1507
Citations
The Maude 2.0 system

Manuel Clavel;Francisco Duran;Steven Eker;Patrick Lincoln

762
Citations
A foundation for actor computation

Gul A. Agha;Ian A. Mason;Scott F. Smith;Carolyn L. Talcott

735
Citations
Equivalence in functional languages with effects

Ian A. Mason;Carolyn L. Talcott

244
Citations
Towards a Theory of Actor Computation

Gul Agha;Ian A. Mason;Scott F. Smith;Carolyn L. Talcott

166
Citations
Pathway Logic: Executable Models of Biological Networks

Steven Eker;Merrill Knapp;Keith Laderoute;Patrick Lincoln

145
Citations
Cyber-Physical Systems and Events

Carolyn Talcott

139
Citations
Reputation-based trust management

Vitaly Shmatikov;Carolyn Talcott

128
Citations
ADDSEN: Adaptive Data Processing and Dissemination for Drone Swarms in Urban Sensing

Di Wu;Dmitri I. Arkhipov;Minyoung Kim;Carolyn L. Talcott

115
Citations
Machine Learning Models and Pathway Genome Data Base for Trypanosoma cruzi Drug Discovery

Sean Ekins;Jair Lage de Siqueira-Neto;Laura-Isobel McCall;Malabika Sarker

100
Citations
A variable typed logic of effects

Furio Honsell;Ian A. Mason;Scott Smith;Carolyn Talcott

98
Citations
Pathway logic modeling of protein functional domains in signal transduction.

Carolyn L. Talcott;Steven Eker;Merrill Knapp;Patrick Lincoln

93
Citations
Computational databases, pathway and cheminformatics tools for tuberculosis drug discovery

Sean Ekins;Joel S. Freundlich;Inhee Choi;Malabika Sarker

93
Citations
Semantic Models for Distributed Object Reflection

José Meseguer;Carolyn L. Talcott

91
Citations
Programming and symbolic computation in Maude

Francisco Durán;Steven Eker;Santiago Escobar;Narciso Martí-Oliet

89
Citations
Integrated analysis of breast cancer cell lines reveals unique signaling pathways

Laura M Heiser;Nicholas J Wang;Carolyn L Talcott;Keith R Laderoute

88
Citations
From Operational Semantics to Domain Theory

Ian A. Mason;Scott F. Smith;Carolyn L. Talcott

87
Citations
Interaction Semantics for Components of Distributed Systems

Carolyn Talcott

87
Citations
Policy-Based Cognitive Radios

D. Wilkins;G. Denker;M-O. Stehr;D. Elenius

83
Citations
Reasoning Theories: Towards an Architecture for Open Mechanized Reasoning Systems

Fausto Giunchiglia;Paolo Pecchiari;Carolyn Talcott

83
Citations
Reasoning about meta level activities in open distributed systems

Nalini Venkatasubramanian;Carolyn Talcott

78
Citations
Specification and analysis of the AER/NCA active network protocol suite in Real-Time Maude

Peter Csaba Ölveczky;José Meseguer;Carolyn L. Talcott

72
Citations

Frequent Co-Authors

José Meseguer University of Illinois at Urbana-Champaign

Andre Scedrov University of Pennsylvania

Nalini Venkatasubramanian University of California, Irvine

Patrick Lincoln SRI International

Gul Agha University of Illinois at Urbana-Champaign

Farhad Arbab Leiden University

Javier De Las Rivas University of Salamanca

Nikil Dutt University of California, Irvine

Fausto Giunchiglia University of Trento

Sean Ekins University of Arizona

External Links

Wikipedia of Carolyn L. Talcott Personal website of Carolyn L. Talcott Google Scholar page

If you think any of the details on this page are incorrect, let us know.

Related Online Degrees & Career Pathways

Choosing to study Computer Science in the USA opens a pathway to a variety of online degrees and career options. For those seeking a faster route, programs like accelerated associate degree offerings can lead to entry-level positions or serve as stepping stones toward a bachelor's degree.

Many students explore options in related fields, such as business, which often intersect with computer science in tech-driven industries. Earning an online business degree with financial aid can make this path more affordable while building valuable management skills.

Advancements in online education have led to a growing list of reputable online universities offering flexible bachelor’s programs, helping students balance their studies with work or family commitments.

Engineering is another area closely related to computer science. There are a number of online engineering degrees available, allowing students to gain specialized skills for technical and high-demand career paths.