摘要:曼纽尔·布卢姆---密码系统和程序检验先驱,计算复杂性理论的主要奠基人之一,第三十届(1995年)图灵奖得主。Blum是卡内基梅隆大学计算机科学教授,也是世界上理论计算机学大师。他被选举成为美国国家科学[阅读全文]