JJ汤姆森大道15号剑桥大学 CB3 0FD，英格兰
电话：（01223）334623邮件：lp15@cam.ac.uk PGP键
苏珊·保尔森1959–2010
研究总监 计算机实验室•剑桥大学
能源监管委员会项目亚历山大:使证明助手对数学家有用
我的博客，机器逻辑
我半退休了，所以很不幸不能接受新的博士生.
我的研究关注点自动定理证明及其应用：
20世纪80年代，我对LCF式定理证明引入了一些概念，如转换和定理延续，仍然是霍尔定理证明器。我帮助设计了编程语言标准ML编写了一本主要的教科书，工作程序员ML.
伊莎贝尔出现于1986年，后来与托比亚斯·尼普科和他的同事慕尼黑技术大学.我现在是特聘附属教授为TUM的Logic in Informatics（信息学中的逻辑）工作，以表彰我与该机构的长期合作关系。
在20世纪90年代，Isabelle发现全球用户社区.我调查了归纳和递归以及它们的二元论、造词和同义词。21世纪初，我正式确定了集合论反射定理和选择公理的相对一致性。2013年，我完成了哥德尔第二不完全性定理的第一次机器辅助形式化。
我最著名的研究关注点验证加密协议使用归纳模型。但不知何故，我的许多出版物中最受欢迎的是我的1997年课堂讲稿关于软件工程！
我被选为美国计算机协会院士2008年对定理证明器和验证技术的贡献。皇家学会选我为交情2017年。那一年，我还收到了赫伯兰德奖对自动推理的杰出贡献.
我于1982年来到剑桥（尽管事实上我的雇主是爱丁堡大学）。1984年，我被任命为剑桥大学的永久学术职位，担任研究助理主任。三十八年后，我不再授课，而是从一些我过去的课程已联机。
我是…的研究员克莱尔学院，我有责任录取和监督计算机科学专业的学生。我是克莱尔管理机构和各种委员会的成员。
我长期担任自动推理杂志以及众多会议的方案委员会。我是LMS计算与数学杂志直到2007年。
各种历史下载可用。
最后修订日期：2023年2月15日，星期三
