福彩快三

計算機科學

首頁 > 計算機科學

艾倫·愛默生

2018-09-12 13:50:27     所屬分類:圖靈獎獲得者
艾倫·愛默生
出生 (1954-06-02) 1954年6月2日64歲)
美國德克薩斯州達拉斯
國籍 美國
獎項 圖靈獎
科學生涯
研究領域 計算機科學
機構 美國德克薩斯州大學奧斯汀分校

艾倫·愛默生英語:Ernest Allen Emerson,1954年6月2日)是一名美國德克薩斯州大學奧斯汀分校計算機科學家和榮譽教授。2007年,他與愛德蒙·克拉克和約瑟夫·斯發基斯一起因在model checking英語Model checking取得的杰出貢獻而獲得圖靈獎。[1]

參照

  1. ^ ACM Turing Award Honors Founders of Automatic Verification Technology That Enables Faster, More Reliable Designs. University of Texas. 2008-02-04. 

外部鏈接

  • E. Allen Emerson - A.M. Turing Award
  • E. Allen Emerson's homepage at the University of Texas at Austin
  • 艾倫·愛默生 在數學譜系計劃的資料。
  • Turing Award announcement
  • Kanellakis Award
  • 艾倫·愛默生 at DBLP Bibliography Server

Template:Kanellakis Award laureates

感謝您的支持,我會繼續努力的!

掃碼支持
1分,2分不嫌少,錢不錢的無所謂,重要的是你的話語激勵我前行!

愿你每天溫暖如春!!!

顯示全文

取消

福彩快三感謝您的支持,我會繼續努力的!

掃碼支持
無需打賞可直接關閉閱讀全文
1分,2分不嫌少,錢不錢的無所謂,重要的是你的話語激勵我前行!

愿你每天溫暖如春!!!


相關推薦