艾倫·愛默生

恩尼斯特·艾倫·愛默生二世（英語：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）
科學生涯
研究領域	計算機科學
機構	德克薩斯州大學奧斯汀分校