Joseph Y Halpern

Joseph Yehuda Halpern is an Israeli-American professor of computer science at Cornell University. Most of his research is on reasoning about knowledge and uncertainty.