AboutSign inJoin
User photo

Carolyn Talcott

About

Carolyn Talcott is an American computer scientist known for work in formal reasoning, especially as it relates to computers, cryptanalysis and systems biology. She is currently the program director of the Symbolic Systems Biology group at SRI International.

Books

Composing Model-Based Analysis Tools
Composing Model-Based Analysis Tools
Francisco Durán, Carolyn Talcott, Robert Heinrich, Steffen Zschaler
Reflections on the Foundations of Mathematics
Reflections on the Foundations of Mathematics
Wilfried Sieg, Carolyn Talcott, Richard Sommer
All About Maude - A High-Performance Logical Framework
All About Maude - A High-Performance Logical Framework
Francisco Durán, José Meseguer, Narciso Martí-Oliet, Carolyn Talcott, Manuel Clavel, Steven Eker, Patrick Lincoln
Logic, Rewriting, and Concurrency
Logic, Rewriting, and Concurrency
Narciso Martí-Oliet, Peter Csaba Ölveczky, Carolyn Talcott

Join the club

Track what you're reading, see what your friends are into and explore the ideas of the world's greatest authors together.

Download on the App StoreDownload on the Google Play Store
... or sign up right here
Company
  • About
  • Partners
  • Careers
  • Press
  • Legal
  • Privacy
Social
  • Twitter
  • Instagram
  • Facebook
  • TikTok
Support
  • FAQ
  • Changelog
  • Feature ideas
  • API
  • Widget
  • Contact
App
  • iPhone app
  • Android app
Help us
  • Become a Patron
  • Become a Librarian