计算的美丽–2007年图灵奖获得者Allen Emerson
作者 陈怀临 | 2008-04-12 08:15 | 类型 人物评述, 计算的美丽 | Comments Off
E Allen Emerson 图灵奖获得时间: 2007年。 第42位图灵奖(2007年)获得者。 图灵奖引用(Turing Award Citation) : For his role in developing Model-Checking into a highly effective verification technology, widely adopted in the hardware and software industries. 【笔者译:】 (授予Allen Emerson图灵奖以表彰其)对目前在硬件和软件领域被广泛使用的模型检查发展成为一个重要的,高效的验证技术所做出的杰出贡献。
笔者注: 关于模型检查理论,可参阅美国卡内基梅隆(CMU)计算机系的模型检查(Model Check)实验室: http://www.cs.cmu.edu/~modelcheck/ 理论而言,模型检查属于形式方法(Formal Methods)研究的一个分支 。关于形式理论,可以参阅:http://en.wikipedia.org/wiki/Formal_methods 另外,也可参阅: http://en.wikipedia.org/wiki/Model_checking Turing Award Lecture(图灵奖演讲文章): Allen Emerson简介: Allen Emerson是Edmund Clarke在哈佛大学的博士生。著名的“模型检测”的论文就是Emerson与导师Clarke合作的。 Emerson是从德州奥斯丁分校获得的其数学本科学位,并从哈佛大学应用数学系获得其博士学位。 关于Emerson的更多信息可参见其在德州大学奥斯丁分校计算机系的主页: http://www.cs.utexas.edu/~emerson/ E. Allen Emerson照片: | |