艾倫·愛默生
| 艾倫·愛默生 Ernest Emerson | |
|---|---|
.jpg) | |
| 出生 | Ernest Allen Emerson 1954年6月2日  美國德克薩斯州達拉斯 |
| 逝世 | 2024年10月15日（70歲） 美國德克薩斯州奧斯汀 |
| 國籍 | 美國 |
| 獎項 | 圖靈獎（2007） |
| 科學生涯 | |
| 研究領域 | 計算機科學 |
| 機構 | 德克薩斯州大學奧斯汀分校 |
恩尼斯特·艾倫·愛默生二世（英語：Ernest Allen Emerson II，1954年6月2日—2024年10月15日）是一名美國德克薩斯州大學奧斯汀分校計算機科學家和榮譽教授。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）.
