-
John E. Hopcroft
教授
主页
jeh@cs.cornell.edu
研究领域: 理论计算机科学
-
Manuel Blum
教授
主页
简介
412 596-4063
nlc@cs.cmu.edu
研究领域: 计算复杂性、自动机理论、算法、归纳推理：密码学、程序结果检查、人机交互证明
-
Silvio Micali
教授
主页
silvio@csail.mit.edu
研究领域: 密码学、零知识、伪随机生成、安全协议和机制设计
-
Lenore Blum
教授
主页
412 268-8139
lblum@cs.cmu.edu
研究领域: 复杂和实计算、复杂性理论的转移原则
