知识
在计算机科学领域中，对理论基础和实践应用产生深远影响的标志性人物之一，当属2007年图灵奖得主艾伦·爱默生（正确应为E. Allen Emerson，这里为了保持伪原创性稍作修改）。作为模型检测技术的先驱和奠基人之一，艾伦·爱默生以其卓越的研究成果推动了计算验证技术的发展，彻底改变了软件系统及硬件设计的安全性和可靠性验证方式。下面一起来看看2007年图灵奖得主详细介绍吧！
艾伦·爱默生（E Allen Emerson），1954年6月2日出生于美国得克萨斯州达拉斯，2007年图灵奖得主之一，美国德克萨斯大学奥斯汀分校名誉教授。
艾伦·爱默生于1976年在美国德克萨斯大学奥斯汀分校获得数学学士学位；1981年在美国哈佛大学获得应用数学博士学位，同年受聘为美国德克萨斯大学奥斯汀分校计算机科学教授；2004年入选美国科学信息研究所全球高被引研究人员；2007年获得图灵奖。
艾伦·爱默生致力于硬件和软件模型的验证方面的研究。
1954年6月2日，艾伦·爱默生出生于美国得克萨斯州达拉斯。
1976年，在美国德克萨斯大学奥斯汀分校获得数学学士学位。
1981年，在美国哈佛大学获得应用数学博士学位，同年受聘为美国德克萨斯大学奥斯汀分校计算机科学教授。
2004年，入选美国科学信息研究所全球高被引研究人员。
2007年，获得图灵奖。
艾伦·爱默是将约简与其他对抗状态爆炸的方法相结合的先驱（Emerson has also been a pioneer in combining reductions with other means of combating state explosion）。（美国计算机协会评）。
他（艾伦·爱默）在程序综合和自动机理论方面做出了实质性的贡献（He he has also made substantive contributions to program synthesis and automata theory）。（美国德克萨斯大学奥斯汀分校评）。
文明上网，理性发言，共同做网络文明传播者