艾伦·爱默生

恩尼斯特·艾伦·爱默生二世（英语：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）
科学生涯
研究领域	计算机科学
机构	德克萨斯州大学奥斯汀分校