艾伦·爱默生

恩尼斯特·艾伦·爱默生二世（英语：Ernest Allen Emerson II，1954年6月2日—2024年10月15日）是一名美国德克萨斯州大学奥斯汀分校计算机科学家和荣誉教授。2007年，他与爱德蒙·克拉克和约瑟夫·斯发基斯一起因在模型检验（英语：Model checking）取得的杰出贡献而获得图灵奖。^[1]

艾伦·爱默生 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
• 艾伦·爱默生在数字书目索引与图书馆项目中的页面