斯蒂芬·库克

米凯尔·拉宾于1931年9月1日在德国的布雷斯劳出生，毕业于布雷斯劳神学院教犹太历史和哲学专业，曾为以色列希伯莱大学教授。创造了非确定性有限状态自

马文·闵斯基（英语：Marvin Lee Minsky，1927年8月9日－），美国人工智能领域的科学家，麻省理工学院人工智能实验室的创始人之一，著有几部人工智能

斯蒂芬·库克（Stephen A. Cook）1961年从University of Michigan获得其学士学位，于1962年和1966年从哈佛大学分别获得其硕士与博士学位。1966年到19

密码系统和程序检验先驱，计算复杂性理论的主要奠基人之一，第三十届（1995年）图灵奖得主。Blum是卡内基梅隆大学计算机科学教授，也是世界上理论计算

严密、严谨、严格、追求更进一步是威廉·凯亨的一贯作风，也是他留给英特尔在不断研发新的计算机浮点运算技术道路上的一笔精神财富

尤里斯·哈特马尼斯Hartmanis生于1928年7月7日于前苏联拉脱维亚(Latvia)共和国。二战后，Hartmanis移民到德国，并在University of Marburg获得其物理