艾伦·爱默生

维基百科,自由的百科全书
跳转至: 导航搜索
艾伦·爱默生
出生 1954年06月02日1954-06-02(60歲)
美国德克萨斯州达拉斯
国籍 美国
研究領域 计算机科学
任职於 美国德克薩斯州大學奧斯汀分校
獲獎 图灵奖

艾伦·爱默生英语Ernest Allen Emerson,1954年6月2日)是一名美国德克薩斯州大學奧斯汀分校计算机科学家和荣誉教授。2007年,他与爱德蒙·克拉克约瑟夫·斯发基斯一起因在model checking英语Model checking取得的杰出贡献而获得图灵奖[1]

参照[编辑]

外部链接[编辑]

Template:Kanellakis Award laureates