科学研究
图灵导师 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
  • Lenore Blum 教授 主页 简介

    412 268-8139

    lblum@cs.cmu.edu

    研究领域: 复杂和实计算、复杂性理论的转移原则
  • Manuel Blum 教授 主页 简介

    412 596-4063

    nlc@cs.cmu.edu

    研究领域: 计算复杂性、自动机理论、算法、归纳推理:密码学、程序结果检查、人机交互证明
1