美国工程院院士 美国艺术与科学院院士 康奈尔大学计算机科学教授 美国科学促进会(AAAS)信息、计 算和通信分会主席 研究方向：主要研究关于知识和不确定性的推理，安全性，分布式计算，决策理论和博弈论。开创了将知识推理应用于分析分布式协议和多主体系统的方法。