Carolyn Talcott (nacida el 14 de junio de 1941) es una científica informática estadounidense conocida por su trabajo en el razonamiento formal , especialmente en lo que se refiere a las computadoras, el criptoanálisis y la biología de sistemas . Actualmente es la directora de programas del grupo de Biología de Sistemas Simbólicos en SRI International . [3] [4]
Carolyn Talcott | |
---|---|
Nació | [1] | 14 de junio de 1941
alma mater | |
Carrera científica | |
Campos | |
Instituciones | |
Tesis | The Essence of RUM: A Theory of the Intensional and Extensional Aspects of LISP-Type Computation (1985) |
Asesor de doctorado | Solomon Feferman [2] |
Estudiantes notables | Nalini Venkatasubramanian [1] |
Sitio web | www |
Actualmente es coeditora en jefe de Computación simbólica y de orden superior . [5]
Educación
Talcott obtuvo un Ph.D. de la Universidad de Stanford en 1985. Su tesis, La esencia del RUM: una teoría de los aspectos intensivos y extensivos de la computación tipo LISP , fue supervisada por Solomon Feferman . [2]
Premios y membresías
Talcott fue nombrada miembro de SRI en 2011. [3] Es miembro de la Association for Computing Machinery y la Association for Symbolic Logic . [1]
Referencias
- ^ a b c "Currículum Vita de Carolyn Talcott" . Universidad de Stanford . Consultado el 14 de octubre de 2012 .
- ^ a b Carolyn Talcott en el Proyecto de genealogía de las matemáticas
- ^ a b "Nuestra gente: Carolyn Talcott" . SRI Internacional . 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 .
enlaces externos
- Lista de publicaciones de DBLP