Joseph Halpern
Joseph Yehuda Halpern | |
---|---|
![]() Joseph Halpern at the EPFL in June 2008 | |
Born | 1953 |
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 (born 1953) 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. 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]
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.[citation needed]
References
- ^ "History | Journal of the ACM". jacm.acm.org. Retrieved 2015-08-13.
- ^ 2012 Newly Elevated Fellows, IEEE, accessed 2011-12-10.
- ^ https://www.zukunftskolleg.uni-konstanz.de/people/personen-details/halpern-joseph-y-1187/6338/13775/
- ^ 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
- Guggenheim Fellows
- 1953 births
- IBM Research computer scientists
- IBM employees
- Computer specialist stubs