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.

PropertyValue
dbpedia-owl:Scientist/doctoralStudent
dbpedia-owl:doctoralStudent
dbpedia-owl:thumbnail
dbpprop:abstract
  • 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.
dbpprop:caption
  • Joseph Halpern at the EPFL in June 2008
dbpprop:doctoralStudents
dbpprop:field
dbpprop:hasPhotoCollection
dbpprop:name
  • Joseph Yehuda Halpern
dbpprop:prizes
dbpprop:reference
dbpprop:wikiPageUsesTemplate
dbpprop:wordnet_type
dbpprop:workInstitutions
rdf:type
rdfs:comment
  • 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.
rdfs:label
  • Joseph Halpern
owl:sameAs
skos:subject
foaf:depiction
foaf:name
  • Joseph Yehuda Halpern
foaf:page
is dbpedia-owl:Scientist/doctoralAdvisor of
is dbpedia-owl:doctoralAdvisor of
is dbpprop:doctoralAdvisor of
is dbpprop:redirect of
is owl:sameAs of