艾伦·爱默生
外观
艾伦·爱默生 Ernest Emerson | |
---|---|
出生 | Ernest Allen Emerson 1954年6月2日 美国德克萨斯州达拉斯 |
逝世 | 2024年10月15日 美国德克萨斯州奥斯汀 | (70岁)
国籍 | 美国 |
奖项 | 图灵奖(2007) |
科学生涯 | |
研究领域 | 计算机科学 |
机构 | 德克萨斯州大学奥斯汀分校 |
恩尼斯特·艾伦·爱默生二世(英语:Ernest Allen Emerson II,1954年6月2日—2024年10月15日)是一名美国德克萨斯州大学奥斯汀分校计算机科学家和荣誉教授。2007年,他与爱德蒙·克拉克和约瑟夫·斯发基斯一起因在模型检验取得的杰出贡献而获得图灵奖。[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).