计算的美丽–1995年图灵奖获得者Manuel Blum
作者 陈怀临 | 2008-04-05 19:02 | 类型 人物评述, 计算的美丽 | Comments Off
Manuel Blum(04/26/1938–) 图灵奖获得时间: 1995年。 第三十位图灵奖(1995年)获得者。 图灵奖引用(Turing Award Citation) : In recognition of his contributions to the foundations of computational complexity theory and its application to cryptography and program checking. 【笔者译:】 ( 授予Manuel Blum图灵奖以表彰其在)计算复杂性理论的基础性研究以及在密码系统和程序检查验证方面的应用的卓越贡献。
笔者注: 关于密码系统: http://en.wikipedia.org/wiki/Cryptography International Association for Cryptologic Research: RSA Laboratories’ Frequently Asked Questions About Today’s Cryptography, Version 4.1: http://www.rsasecurity.com/rsalabs/node.asp?id=2152 关于计算复杂性理论,可参见: www.xtrj.org/ssm4/complexity_theory.htm Computational Complexityof Games and Puzzles Blum 在计算复杂性与密码系统领域的一些杰出贡献: Turing Award Lecture(图灵奖演讲文章): Manuel Blum简介 : Manuel Blum出生于1938年4月26日于委内瑞拉。 Blum分别于1959年,1961年从MIT获得其电子工程与计算机科学(EECS)的学士和硕士学位。1964年,获得其数学博士学位。其导师是著名的人工智能之父,MIT人工智能实验室的创始人Marvin Minsky(1969年图灵奖获得者)。 Blum长期任教于Berkeley,直到2000年加入CMU。 Blum的家庭堪称世界之绝。Blum(www.cs.cmu.edu/~mblum/ )和其妻子(Lenore Blum www.cs.cmu.edu/~lblum/ ),儿子(Avrim Blum www.cs.cmu.edu/~avrim/ )也分别是CMU计算机系的教授. Manuel Blum曾获得的荣誉: U.S. National Academy of Engineering, 2006 Manuel Blum @ Berkeley: http://www.cs.berkeley.edu/~blum/ Manuel Blum的学生谱系:http://www.genealogy.math.ndsu.nodak.edu/html/id.phtml?id=13373 Manuel Blum照片:
| |