Científico informático estadounidense (nacido en 1941)
Carolyn Talcott (nacida el 14 de junio de 1941) es una científica informática estadounidense conocida por su trabajo en razonamiento formal , especialmente en lo que se refiere a computadoras, criptoanálisis y biología de sistemas . Actualmente es directora del programa del grupo de Biología de Sistemas Simbólicos en SRI International . [3] [4]
Actualmente es coeditora en jefe de Higher-Order and Symbolic Computation . [5] Talcott se casó con John McCarthy (científico informático) y tuvo un hijo. [6]
Vida temprana y educación
Carolyn nació de Howard Talcott y Harriet Louise Mitchell, quienes eran presbiterianos de Idaho. [7] [8]
Talcott obtuvo un doctorado de la Universidad de Stanford en 1985. Su disertación, The Essence of RUM: A Theory of the Intensional and Extensional Aspects of LISP-Type Computation , fue supervisada por Solomon Feferman . [1]
Premios y membresías
Talcott fue nombrada SRI Fellow en 2011. [3] Es miembro de la Association for Computing Machinery y de la Association for Symbolic Logic . [2]
Referencias
- ^ de Carolyn Talcott en el Proyecto de Genealogía Matemática
- ^ abc "Carolyn Talcott Curriculum Vitae". Universidad de Stanford . Consultado el 14 de octubre de 2012 .
- ^ ab "Nuestra gente: Carolyn Talcott". SRI International . Consultado el 14 de octubre de 2012 .
- ^ Sylvan, Pinsky (2011). "Honrando las contribuciones de Carolyn Talcott a la ciencia". En Agha, Gul; Meseguer, José; Danvy, Olivier (eds.). Modelado formal . Berlín, Heidelberg: Springer-Verlag . págs. 4-19. ISBN 978-3-642-24932-7.
- ^ "Computación simbólica y de orden superior". Springer Science+Business Media. Archivado desde el original el 11 de febrero de 2013. Consultado el 14 de octubre de 2012 .
- ^ http://www.nasonline.org/publications/biographical-memoirs/memoir-pdfs/mccarthy-john.pdf [ URL básica PDF ]
- ^ "Obituario de Harriet Louise Mitchell Arnold (2003) the Oregonian".
- ^ "El actor Howard Winslow Talcott"
Enlaces externos
- Lista de publicaciones de DBLP