艾伦·爱默生
近期热点
资料介绍
出生: (1954-06-02) 1954年6月2日（69岁）美国德克萨斯州达拉斯
国籍:美国
奖项:图灵奖
科学生涯
研究领域:计算机科学
机构:美国德克萨斯州大学奥斯汀分校
艾伦·爱默生（英语：Ernest Allen Emerson，1954年6月2日—）是一名美国德克萨斯州大学奥斯汀分校计算机科学家和荣誉教授。2007年，他与爱德蒙·克拉克和约瑟夫·斯发基斯一起因在model checking（英语：Model checking）取得的杰出贡献而获得图灵奖。