基本內(nèi)容
個(gè)人經(jīng)歷
著名的“模型檢測”的論文就是Emerson與導(dǎo)師Clarke合作的。Emerson是從德州奧斯丁分校獲得的其數(shù)學(xué)本科學(xué)位，并從哈佛大學(xué)應(yīng)用數(shù)學(xué)系獲得其博士學(xué)位。Emerson是得克薩斯大學(xué)奧斯汀分校教授，曾任 ACM Transactions on Computational Logic, Formal Aspects of Computing, 和 Formal Methods in Systems Design 等雜志的編委。他擁有得克薩斯大學(xué)奧斯汀分校數(shù)學(xué)學(xué)士和碩士學(xué)位，哈佛大學(xué)應(yīng)用數(shù)學(xué)學(xué)位。 他的主頁透露，自己之所以走上形式化驗(yàn)證的道路，是受了1970年代中期圖靈獎(jiǎng)得主Tony Hoare的一篇CACM 論文"Proof of Program: Find"的啟發(fā)。他位列CiteSeer引用次數(shù)最多的前1%計(jì)算機(jī)科學(xué)家。