Carolyn Talcott

Carolyn Talcott
Carolyn Talcott
	Carolyn Talcott in 2004
Born	June 14, 1941[1]; Caldwell, Idaho
Alma mater	University of Denver; UC Berkeley; Stanford University;
	Scientific career
Fields	Computer science; Systems biology;
Institutions	Stanford University; SRI International;
Thesis	The Essence of RUM: A Theory of the Intensional and Extensional Aspects of LISP-Type Computation (1985)
Doctoral advisor	Solomon Feferman[2]
Notable students	Nalini Venkatasubramanian[1]
Website	www.jlambda.com/clt/

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]

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: I'm not really that good *either*, but I can look for... obvious issues of some sort.

gollark: I guess so.

gollark: Kind of.

gollark: Simply block SolarFlame5.

gollark: How's that for punctuation?

References

"Carolyn Talcott Curriculum Vita". Stanford University. Retrieved 2012-10-14.
Carolyn Talcott at the Mathematics Genealogy Project
"Our People: Carolyn Talcott". SRI International. Retrieved 2012-10-14.
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.
"Higher-Order and Symbolic Computation". Springer Science+Business Media. Archived from the original on 2013-02-11. Retrieved 2012-10-14.

External links

List of publications from DBLP

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

[bio-1] "Carolyn Talcott Curriculum Vita". Stanford University. Retrieved 2012-10-14.

[mathgen-2] Carolyn Talcott at the Mathematics Genealogy Project

[sri-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.