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