E. Allen Emerson

欧内斯特·艾伦·爱默生二世（Ernest Allen Emerson II，1954年6月2日－2024年10月15日）是一位美国计算机科学家，2007年图灵奖获得者。 1981 年至 2016 年，他担任德克萨斯大学奥斯汀分校的教授。艾默生与埃德蒙·克拉克 (Edmund M. Clarke) 和约瑟夫·西法基斯 (Joseph Sifakis) 一起发明和开发了模型检查（一种用于软件和硬件形式验证的技术）。 [1] 他对时序逻辑和模态逻辑的贡献包括引入计算树逻辑 (CTL) [2] 及其扩展 CTL*，[3]，它们用于并发系统的验证。他还与其他人一起因开发符号模型检查来解决许多模型检查算法中出现的组合爆炸而受到认可。 [4] 艾默生于 1954 年 6 月 2 日出生于德克萨斯州达拉斯。他早期的计算经验包括接触达特茅斯分时系统和 Burroughs 大型系统计算机上的 BASIC、Fortran 和 ALGOL 60。 [ 1 ] 1976 年，他在德克萨斯大学奥斯汀分校获得数学理学学士学位，并于 1981 年在哈佛大学获得应用数学哲学博士学位。 [ 1 ] 领域：计算机科学 教育：德克萨斯大学奥斯汀分校 BS 哈佛大学 MS 博士 奖项引用：图灵奖（2007 年）

巴黎卡内拉基斯奖 (1998)