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.


[edit] External links