Joseph Halpern
Joseph Yehuda Halpern | |
---|---|
![]() Joseph Halpern at the EPFL in June 2008 | |
Awards | Gödel Prize 1997, Dijkstra Prize 2009 |
Scientific career | |
Fields | Computer Science |
Institutions | Cornell University |
Doctoral students | Francis Chu, Nir Friedman, Adam Grove, Daphne Koller, Li Li, Yoram Moses, Leandro Rego |
Joseph Yehuda 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 under the supervision of Albert R. Meyer and Gerald Sacks. 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 and the 2009 Dijkstra Prize in distributed computing. In 2002 he was inducted as a Fellow of the Association for Computing Machinery and in 2012 he was selected as an IEEE Fellow.[1]
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.[2]
His students include Nir Friedman, Daphne Koller, and Yoram Moses.[citation needed]
References
- ^ 2012 Newly Elevated Fellows, IEEE, accessed 2011-12-10.
- ^ Subject areas and moderators, arxiv.org.
External links
- Cornell University faculty
- Gödel Prize laureates
- Dijkstra Prize laureates
- Fellows of the Association for the Advancement of Artificial Intelligence
- Fellows of the Association for Computing Machinery
- Fellow Members of the IEEE
- American computer scientists
- Researchers in distributed computing
- University of Toronto alumni
- Harvard University alumni
- Artificial intelligence researchers
- Living people
- Computer specialist stubs