计算机科学

首页 > 计算机科学

艾伦·爱默生

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

版权声明:本文由北城百科网创作,转载请联系管理获取授权,未经容许转载必究。https://www.beichengjiu.com/computerscience/341755.html

相关推荐

随机推荐