艾倫·愛默生

學者

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

艾倫·愛默生
Ernest Emerson
出生Ernest Allen Emerson
(1954-06-02)1954年6月2日
 美國德克薩斯州達拉斯
逝世2024年10月15日(2024歲—10—15)(70歲)
 美國德克薩斯州奧斯汀
國籍 美國
獎項圖靈獎(2007)
科學生涯
研究領域計算機科學
機構德克薩斯州大學奧斯汀分校

參照

外部連結