3.美国康奈尔大学计算机科学教授。研究涉及人工智能、计算理论，安全性等多个领域，开创了将知识推理应用于分析分布式协议和多主体系统的方法。