Joseph Halpern
Encyclopedia
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
.
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.
His students include Nir Friedman
, Daphne Koller
, and Yoram Moses
.
Computer science
Computer science or computing science is the study of the theoretical foundations of information and computation and of practical techniques for their implementation and application in computer systems...
at Cornell University
Cornell University
Cornell University is an Ivy League university located in Ithaca, New York, United States. It is a private land-grant university, receiving annual funding from the State of New York for certain educational missions...
. Most of his research is on reasoning about knowledge and uncertainty.
Halpern graduated in 1975 from University of Toronto
University of Toronto
The University of Toronto is a public research university in Toronto, Ontario, Canada, situated on the grounds that surround Queen's Park. It was founded by royal charter in 1827 as King's College, the first institution of higher learning in Upper Canada...
with a B.S. in mathematics. He went on to earn a Ph.D. in mathematics from Harvard University
Harvard University
Harvard University is a private Ivy League university located in Cambridge, Massachusetts, United States, established in 1636 by the Massachusetts legislature. Harvard is the oldest institution of higher learning in the United States and the first corporation chartered in the country...
in 1981 under the supervision of Albert R. Meyer
Albert R. Meyer
Albert Ronald da Silva Meyer is a professor of computer science at Massachusetts Institute of Technology . He has been a Fellow of the American Academy of Arts and Sciences since 1987, and he was inducted as a Fellow of the Association for Computing Machinery in 2000.Meyer's seminal works...
and Gerald Sacks
Gerald Sacks
Gerald Sacks is a logician who holds a joint appointment at Harvard University as a Professor of Mathematical Logic and the Massachusetts Institute of Technology as a Professor Emeritus. His most important contributions have been in recursion theory...
. He has written two books, Reasoning about Uncertainty and Reasoning About Knowledge and is a winner of the 1997 Gödel Prize
Gödel Prize
The Gödel Prize is a prize for outstanding papers in theoretical computer science, named after Kurt Gödel and awarded jointly by the European Association for Theoretical Computer Science and the Association for Computing Machinery Special Interest Group on Algorithms and Computation Theory .The...
in theoretical computer science and the 2009 Dijkstra Prize
Dijkstra Prize
The Edsger W. Dijkstra Prize in Distributed Computing is given for outstanding papers on the principles of distributed computing, whose significance and impact on the theory and/or practice of distributed computing has been evident for at least a decade...
in distributed computing. In 2002 he was inducted as a Fellow
Fellow
A fellow in the broadest sense is someone who is an equal or a comrade. The term fellow is also used to describe a person, particularly by those in the upper social classes. It is most often used in an academic context: a fellow is often part of an elite group of learned people who are awarded...
of the Association for Computing Machinery
Association for Computing Machinery
The Association for Computing Machinery is a learned society for computing. It was founded in 1947 as the world's first scientific and educational computing society. Its membership is more than 92,000 as of 2009...
.
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.
His students include Nir Friedman
Nir Friedman
Nir Friedman is an Israeli Professor of Computer Science and Biology at the Hebrew University of JerusalemHis research combines Machine Learning and Statistical Learning with Systems Biology, specifically in the fields of Gene Regulation, Transcription and Chromatin.-Education and...
, Daphne Koller
Daphne Koller
Daphne Koller is a Professor in the Department of Computer Science at Stanford University and a MacArthur Fellowship recipient. Her general research area is artificial intelligence and its applications in the biomedical sciences...
, and Yoram Moses
Yoram Moses
Yoram Moses is a Professor in the Electrical Engineering Department at the Technion - Israel Institute of Technology.Yoram Moses received a B.Sc. in mathematics from the Hebrew University of Jerusalem in 1981, and a Ph.D. in Computer Science from Stanford University in 1986...
.