艾倫·愛默生
學者
恩尼斯特·艾倫·愛默生二世(英語:Ernest Allen Emerson II,1954年6月2日—2024年10月15日)是一名美國德克薩斯州大學奧斯汀分校計算機科學家和榮譽教授。2007年,他與愛德蒙·克拉克和約瑟夫·斯發基斯一起因在模型檢驗取得的傑出貢獻而獲得圖靈獎。[1]
艾倫·愛默生 Ernest Emerson | |
---|---|
出生 | Ernest Allen Emerson 1954年6月2日 美國德克薩斯州達拉斯 |
逝世 | 2024年10月15日 美國德克薩斯州奧斯汀 | (70歲)
國籍 | 美國 |
獎項 | 圖靈獎(2007) |
科學生涯 | |
研究領域 | 計算機科學 |
機構 | 德克薩斯州大學奧斯汀分校 |
參照
- ^ 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).