1985年在斯坦福大学完成的题为《The Essence of RUM: A Theory of the Intensional and Extensional Aspects of LISP-Type Computation》的博士论文，确立了卡罗琳·塔尔科特 (Carolyn Talcott) 作为形式推理领域重要研究者的地位。她的工作弥合了抽象计算理论与密码分析及生物系统内部复杂动力学实际应用之间的鸿沟。
学术背景
塔尔科特1941年出生于考德威尔，父亲是霍华德·塔尔科特，母亲是哈丽特·路易丝·米切尔。塔尔科特拥有丰富的学术经历，曾在丹佛大学、加州大学伯克利分校和斯坦福大学求学。1985年，她在所罗门·费弗曼 (Solomon Feferman) 的指导下在斯坦福大学获得博士学位。
研究与专业角色
塔尔科特担任 SRI 国际研究院 (SRI International) 符号系统生物学小组的项目主任。她的专业努力还包括编辑职责，担任期刊《Higher-Order and Symbolic Computation》的共同主编。她的职业生涯定义为通过形式逻辑对计算机系统、密码分析及生物过程建模进行的深入技术研究。
机构从属关系
在整个职业生涯中，塔尔科特始终保持与斯坦福大学和 SRI 国际研究院的学术与研究关联。她对该领域的贡献使她在2011年获得了 SRI 研究员称号。她仍然是包括符号逻辑协会 (Association for Symbolic Logic) 和计算机协会 (Association for Computing Machinery) 在内的多个专业组织的活跃成员。
事实速览
- 出生：1941年，考德威尔 - 国籍：美国 - 教育：丹佛大学，加州大学伯克利分校，斯坦福大学 - 当前职位：项目主任，SRI 国际研究院 - 荣誉：SRI 研究员，2011年 - 重要角色：共同主编，《Higher-Order and Symbolic Computation》
读者提问
### 卡罗琳·塔尔科特的研究重点是什么？
她专注于应用于计算机系统、密码分析和符号系统生物学的形式推理。
### 塔尔科特在哪里完成了她的博士研究？
她于1985年在斯坦福大学获得了博士学位。
