| 艾伦·爱默生 Ernest Emerson | |
|---|---|
.jpg) | |
| 出生 | Ernest Allen Emerson (1954-06-02)1954年6月2日  美国德克萨斯州达拉斯 |
| 逝世 | 2024年10月15日(2024-10-15)（70歲） 美国德克薩斯州奧斯汀 |
| 国籍 | 美国 |
| 奖项 | 图灵奖（2007） |
| 科学生涯 | |
| 研究领域 | 计算机科学 |
| 机构 | 德克薩斯州大學奧斯汀分校 |
恩尼斯特·艾伦·爱默生二世（英語：Ernest Allen Emerson II，1954年6月2日—2024年10月15日）是一名美国德克薩斯州大學奧斯汀分校计算机科学家和荣誉教授。2007年，他与爱德蒙·克拉克和约瑟夫·斯发基斯一起因在模型檢驗（英语：Model checking）取得的杰出贡献而获得图灵奖。[1]
