Joseph Yehuda Halpern (born May 29, 1953) is an Israeli-American professor of computer science at Cornell University. Most of his research is on reasoning about knowledge and uncertainty.
Joseph Yehuda Halpern | |
|---|---|
 Joseph Halpern at the EPFL in June 2008 | |
| Born | May 29th, 1953 Israel |
| Awards | Gödel Prize (1997) Allen Newell Award (2008) Dijkstra Prize (2009) |
| Scientific career | |
| Fields | Computer science |
| Institutions | Cornell University |
| Doctoral students | Nir Friedman, Daphne Koller, Yoram Moses |
Biography
editHalpern 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 under the supervision of Albert R. Meyer and Gerald Sacks. He has written three books, Actual Causality, Reasoning about Uncertainty, and Reasoning About Knowledge and is a winner of the 1997 Gödel Prize in theoretical computer science and the 2009 Dijkstra Prize in distributed computing.
From 1997 to 2003, he was editor-in-chief of the Journal of the ACM.[1]
In 2002, he was inducted as a Fellow of the Association for Computing Machinery and in 2012 he was selected as an IEEE Fellow.[2] In 2011, he was awarded a Senior Fellowship of the Zukunftskolleg at the University of Konstanz.[3]
In 2019, Halpern was elected a member of the National Academy of Engineering for methods of reasoning about knowledge, belief, and uncertainty and their applications to distributed computing and multiagent systems.
Halpern is also the administrator for the Computing Research Repository, the computer science branch of arXiv.org, and the moderator for the "general literature" and "other" subsections of the repository.[4]
His students include Nir Friedman, Daphne Koller, and Yoram Moses.[5]
References
edit- ^ "History | Journal of the ACM". jacm.acm.org. Archived from the original on 2011-10-26. Retrieved 2015-08-13.
- ^ 2012 Newly Elevated Fellows, IEEE, accessed 2011-12-10.
- ^ "Zukunftskolleg | University of Konstanz".
- ^ Subject areas and moderators, arxiv.org.
- ^ Joseph Halpern at the Mathematics Genealogy Project.
External links
edit
 | This biographical article relating to a computer specialist is a stub. You can help Wikipedia by expanding it. |