Carolyn Talcott
| Use attributes for filter ! | |
| Gender | Female |
|---|---|
| Age | 82 |
| Date of birth | June 14,1941 |
| Zodiac sign | Gemini |
| Spouse | John McCarthy |
| Books | All about Maude-- a High-performance Logical Framework: How to Specify, Program and Verify Systems in Rewriting Logic |
| Fields | Computer Science |
| Systems biology | |
| Academic advisor | Solomon Feferman |
| Notable student | Nalini Venkatasubramanian |
| Born | Caldwell |
| Idaho | |
| United States | |
| Education | Stanford University |
| Interests | Cyber Physical Systems |
| Rewriting Logic | |
| Computational Biology | |
| Publications | scholar.google.com |
| Date of Reg. | |
| Date of Upd. | |
| ID | 715438 |
Carolyn Talcott Life story
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.
Carolyn Talcott Photos
