Carolyn Talcott

Carolyn Talcott (born June 14, 1941) 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.[3][4]

Carolyn Talcott
Carolyn Talcott in 2004
Born (1941-06-14) June 14, 1941[1]
Alma mater
Scientific career
Fields
Institutions
ThesisThe Essence of RUM: A Theory of the Intensional and Extensional Aspects of LISP-Type Computation (1985)
Doctoral advisorSolomon Feferman[2]
Notable studentsNalini Venkatasubramanian[1]
Websitewww.jlambda.com/clt/

She is currently the co-editor-in-chief of Higher-Order and Symbolic Computation.[5]

Education

Talcott earned a Ph.D. from Stanford University in 1985. Her dissertation, The Essence of RUM: A Theory of the Intensional and Extensional Aspects of LISP-Type Computation, was supervised by Solomon Feferman.[2]

Awards and memberships

Talcott was named an SRI Fellow in 2011.[3] She is a member of the Association for Computing Machinery and the Association for Symbolic Logic.[1]

gollark: > The relatively small, liberal, pro-business, outspoken government juggles the competing demands of Administration, Education, and Industry. Citizens pay a flat income tax of 8.2%.
gollark: > The Free Land of Anrak is a massive, efficient nation, remarkable for its deadly medical pandemics, keen interest in outer space, and absence of drug laws. The hard-nosed, hard-working, democratic population of 2.677 billion Anrakians live in a state of perpetual fear, as a complete breakdown of social order has led to the rise of order through biker gangs.
gollark: I have Notelia, my main one which also seems to have gone socialist because the game seems to like that for some reason, Anrak, where there is literally no law enforcement (but government-provided education if I remember right), and Doemokria, where I do random testing.
gollark: I mostly just answer the issues occasionally on my three nations.
gollark: Also, I use ly (it's in the AUR) as my, er, desktop manager. It's pretty nice, has a neat TUI design.

References

  1. "Carolyn Talcott Curriculum Vita". Stanford University. Retrieved 2012-10-14.
  2. Carolyn Talcott at the Mathematics Genealogy Project
  3. "Our People: Carolyn Talcott". SRI International. Retrieved 2012-10-14.
  4. Sylvan, Pinsky (2011). "Honoring Carolyn Talcott's contributions to science". In Agha, Gul; Meseguer, Jose; Danvy, Olivier (eds.). Formal modeling. Berlin, Heidelberg: Springer-Verlag. pp. 4–19. ISBN 978-3-642-24932-7.
  5. "Higher-Order and Symbolic Computation". Springer Science+Business Media. Archived from the original on 2013-02-11. Retrieved 2012-10-14.


This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.