艾倫·愛默生

恩尼斯特·艾倫·愛默生二世（英語：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
• 艾倫·愛默生在數位書目索引及圖書館計畫中的頁面