艾倫·愛默生 - 簡介

艾倫·愛默生（Ernest Allen Emerson），是Edmund Clarke在哈佛大學的博士生。

著名的“模型檢測”的論文就是Emerson與導師Clarke合作的。Emerson是從德州奧斯丁分校獲得的其數(shù)學本科學位，并從哈佛大學應用數(shù)學系獲得其博士學位。Emerson是得克薩斯大學奧斯汀分校教授，曾任 ACM Transactions on Computational Logic, Formal Aspects of Computing, 和 Formal Methods in Systems Design 等雜志的編委。他擁有得克薩斯大學奧斯汀分校數(shù)學學士和碩士學位，哈佛大學應用數(shù)學學位。

他的主頁透露，自己之所以走上形式化驗證的道路，是受了1970年代中期圖靈獎得主Tony Hoare的一篇CACM 論文"Proof of Program: Find"的啟發(fā)。他位列CiteSeer引用次數(shù)最多的前1%計算機科學家。