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