Joseph Halpern
From Wikipedia, the free encyclopedia
Joseph Y. Halpern is a professor of computer science at Cornell University. Most of his research is on reasoning about knowledge and uncertainty.
Halpern graduated in 1975 from University of Toronto with a B.S. in mathematics. He went on to earn a Ph.D. in mathematics from Harvard University in 1981. He has written two books, Reasoning about Uncertainty and Reasoning About Knowledge and is a winner of the 1997 Gödel Prize in theoretical computer science.
His students include Daphne Koller.