艾倫·愛默生
艾倫·愛默生 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
- 艾倫·愛默生在數位書目索引及圖書館計畫中的頁面
|
|