艾倫·愛默生（Ernest Allen Emerson），是Edmund Clarke在哈佛大學的博士生。 因其突出的在套用數學方面的突出成績而獲得圖靈獎.
基本介紹
- 中文名：：艾倫·愛默生
- 英文名：：Ernest Allen Emerson
- 性別：：男
- 國籍：：美國
- 職業：：教授
- 畢業院校：：哈佛大學
- 出生時間：1956 6 2
著名的“模型檢測”的論文就是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%計算機科學家。
艾倫·愛默生