Movatterモバイル変換


[0]ホーム

URL:


跳转到内容
维基百科自由的百科全书
搜索

艾伦·爱默生

维基百科,自由的百科全书
艾伦·爱默生
Ernest Emerson
出生Ernest Allen Emerson
(1954-06-02)1954年6月2日
 美国德克萨斯州达拉斯
逝世2024年10月15日(2024-10-15)(70歲)
 美国德克薩斯州奧斯汀
国籍 美国
奖项图灵奖(2007)
科学生涯
研究领域计算机科学
机构德克薩斯州大學奧斯汀分校

恩尼斯特·艾伦·爱默生二世(英語:Ernest Allen Emerson II,1954年6月2日—2024年10月15日)是一名美国德克薩斯州大學奧斯汀分校计算机科学家和荣誉教授。2007年,他与爱德蒙·克拉克约瑟夫·斯发基斯一起因在模型檢驗英语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 [2013-12-22]. (原始内容存档于2008-05-09). 

外部链接

[编辑]
图灵奖获得者
1960年代
1970年代
1980年代
1990年代
2000年代
2010年代
2020年代
国际
各地
学术
其他
检索自“https://zh.wikipedia.org/w/index.php?title=艾伦·爱默生&oldid=88275244
分类:​
隐藏分类:​

[8]ページ先頭

©2009-2025 Movatter.jp