Biography
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.
Works
All About Maude - A High-Performance Logical Framework
Reflections on the Foundations of Mathematics : Essays in Honor of Solomon Feferman
Reflections on the Foundations of Mathematics : Essays in Honor of Solomon Feferman
Composing Model-Based Analysis Tools
Composing Model-Based Analysis Tools
Reflections on the Foundations of Mathematics
Reflections on the Foundations of Mathematics
Logic, Language, and Security
Logic, Language, and Security
Logic, Rewriting, and Concurrency
Logic, Rewriting, and Concurrency
Proceedings of the 9th International Workshop on Adaptive and Reflective Middleware
Proceedings of the 9th International Workshop on Adaptive and Reflective Middleware
Rebeca for Actor Analysis in Action
Rebeca for Actor Analysis in Action