恩尼斯特·艾伦·爱默生二世（英语：Ernest Allen Emerson II，1954年6月2日—2024年10月15日）是一名美国德克萨斯州大学奥斯汀分校计算机科学家和荣誉教授。2007年，他与爱德蒙·克拉克和约瑟夫·斯发基斯一起因在模型检验（英语：Model checking）取得的杰出贡献而获得图灵奖。[1] 事实速览 艾伦·爱默生Ernest Emerson, 出生 ...艾伦·爱默生Ernest Emerson出生Ernest Allen Emerson(1954-06-02)1954年6月2日 美国德克萨斯州达拉斯逝世2024年10月15日(2024岁—10—15)（70岁） 美国德克萨斯州奥斯汀国籍 美国奖项图灵奖（2007）科学生涯研究领域计算机科学机构德克萨斯州大学奥斯汀分校 关闭 参照 [1]ACM Turing Award Honors Founders of Automatic Verification Technology That Enables Faster, More Reliable Designs. University of Texas. 2008-02-04 [2013-12-22]. （原始内容存档于2008-05-09）. 外部链接 E. Allen Emerson - A.M. Turing Award （页面存档备份，存于互联网档案馆） E. Allen Emerson's homepage at the University of Texas at Austin （页面存档备份，存于互联网档案馆） 艾伦·爱默生在数学谱系计划的资料。 Turing Award announcement （页面存档备份，存于互联网档案馆） Kanellakis Award 艾伦·爱默生在数字书目索引与图书馆项目中的页面 Wikiwand - on Seamless Wikipedia browsing. On steroids.
.jpg)
