艾倫·愛默生
艾倫·愛默生（英語：Ernest Allen Emerson，1954年6月2日—）是一名美國德克薩斯州大學奧斯汀分校計算機科學家和榮譽教授。2007年，他與愛德蒙·克拉克和約瑟夫·斯發基斯一起因在model checking取得的傑出貢獻而獲得圖靈獎。[1]
| 艾倫·愛默生 Ernest Emerson | |
|---|---|
| 出生 | Ernest Allen Emerson 1954年6月2日 美國德克薩斯州達拉斯 |
| 國籍 | 美國 |
| 獎項 | 圖靈獎（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）.
