打开主菜单

艾伦·爱默生

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

艾伦·爱默生
出生 (1954-06-02) 1954年6月2日64歲)
美国德克萨斯州达拉斯
国籍 美国
奖项 图灵奖
科学生涯
研究領域 计算机科学
机构 美国德克薩斯州大學奧斯汀分校

参照编辑

外部链接编辑