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