艾倫·愛默生

艾倫·愛默生（Ernest Allen Emerson），是Edmund Clarke在哈佛大學的博士生。 因其突出的在套用數學方面的突出成績而獲得圖靈獎.

基本信息

• 中文名：艾倫·愛默生
• 英文名：Ernest Allen Emerson
• 國籍：美國
• 職業： 教授
  
• 畢業院校：哈佛大學

艾倫·愛默生

著名的“模型檢測”的論文就是Emerson與導師Clarke合作的。Emerson是從德州奧斯丁分校獲得的其數學本科學位，並從哈佛大學套用數學系獲得其博士學位。Emerson是德克薩斯大學奧斯汀分校教授，曾任 ACM Transactions on Computational Logic, Formal Aspects of Computing, 和 Formal Methods in Systems Design 等雜誌的編委。他擁有德克薩斯大學奧斯汀分校數學學士和碩士學位，哈佛大學套用數學學位。　他的主頁透露，自己之所以走上形式化驗證的道路，是受了1970年代中期圖靈獎得主Tony Hoare的一篇CACM 論文"Proof of Program: Find"的啟發。他位列CiteSeer引用次數最多的前1%計算機科學家。

歷屆圖靈獎獲獎名單

艾倫·佩利 詹姆斯·維爾金森 高德納 達納·斯科特 安東尼·何珥 丹尼斯·里奇 羅伯特·塔揚 費爾南多·考巴托 理察·斯特恩斯 阿米爾·伯努利 姚期智 阿迪·薩莫爾 羅伯特·卡恩 艾倫·愛默生 萊斯利·蘭波特

莫里斯·威爾克斯 約翰·麥卡錫 艾倫·紐厄爾 約翰·巴克斯 埃德加·科德 尼古拉斯·沃斯 約翰·科克 羅賓·米爾納 愛德華·費根鮑姆 道格拉斯·恩格爾巴特 奧利·約翰·達爾 倫納德·阿德曼 彼得·諾爾 約瑟夫·斯發基斯 希爾維奧·米卡利

理察·衛斯里·漢明 艾茲格·迪科斯徹 赫伯特·西蒙 羅伯特·弗洛伊德 史提芬·古克 理察·卡普 伊凡·蘇澤蘭 巴特勒·蘭普森 拉吉·瑞迪 詹姆斯·尼古拉·格雷 克利斯登·奈加特 艾倫·凱 法蘭西斯·艾倫 芭芭拉·利斯科夫 莎菲·戈德瓦塞爾

馬文·閔斯基 查理士·巴赫曼 麥可·拉賓 肯尼斯·艾佛森 肯·湯普遜 約翰·霍普克羅夫特 威廉·卡亨 尤里斯·哈特馬尼斯 曼紐爾·布盧姆 弗雷德里克·布魯克斯 羅納德·李維斯特 文特·瑟夫 愛德蒙·克拉克 查爾斯·薩克爾 朱迪亞·珀爾