Joseph Halpern

哈佛大学数学博士，康奈尔大学计算机科学教授，IEEE Fellow。他的大多数研究都是关于知识和不确定性的推理。