Carolyn Talcott facts for kids
Quick facts for kids
Carolyn Talcott
|
|
|---|---|
Carolyn Talcott in 2004
|
|
| Born | June 14, 1941 |
| Alma mater | |
| Scientific career | |
| Fields |
|
| Institutions |
|
| Thesis | The Essence of RUM: A Theory of the Intensional and Extensional Aspects of LISP-Type Computation (1985) |
| Doctoral advisor | Solomon Feferman |
| Notable students | Nalini Venkatasubramanian |
Carolyn Talcott, born on June 14, 1941, is an American computer scientist. She is known for her work in making computers smarter. This includes teaching them to think logically and solve problems. She also works on breaking secret codes and understanding how living things work like complex systems.
Currently, she leads a special team at SRI International. This team, called Symbolic Systems Biology, uses computer science to study biology. She also helps edit a science journal. It is called Higher-Order and Symbolic Computation.
Early Life and Education
Carolyn Talcott was born to Howard Talcott and Harriet Louise Mitchell. Her family was from Idaho.
She earned her Ph.D. from Stanford University in 1985. Her main research paper was about how computer programs work. Her advisor was Solomon Feferman.
Awards and Memberships
In 2011, Talcott received a special honor. She was named an SRI Fellow. This award recognizes important contributions at SRI International.
She is also a member of two important groups. These are the Association for Computing Machinery and the Association for Symbolic Logic. These groups are for computer scientists and people who study logic.
