艾伦·爱默生简介_艾伦·爱默生个人资料_艾伦·爱默生微博_百科网
A-A+

艾伦·爱默生简介_艾伦·爱默生个人资料_艾伦·爱默生微博

2016-12-01 06:09:35 科学百科 阅读 2 次

简介/艾伦·爱默生 编辑

艾伦·爱默生
艾伦·爱默生艾伦·爱默生(Ernest Allen Emerson),是Edmund Clarke在哈佛大学的博士生。

著名的“模型检测”的论文就是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%计算机科学家。