Movatterモバイル変換


[0]ホーム

URL:


Jump to content
WikipediaThe Free Encyclopedia
Search

Joseph Halpern

From Wikipedia, the free encyclopedia
(Redirected fromJoseph Y. Halpern)
Israeli-American-Canadian computer scientist
Joseph Yehuda Halpern
Joseph Halpern at theEPFL in June 2008
BornMay 29th, 1953
Israel
AwardsGödel Prize(1997)
Allen Newell Award(2008)
Dijkstra Prize(2009)
Scientific career
FieldsComputer science
InstitutionsCornell University
Doctoral studentsNir Friedman,Daphne Koller,Yoram Moses

Joseph Yehuda Halpern (born May 29, 1953) is an Israeli-American professor ofcomputer science atCornell University. Most of his research is on reasoning about knowledge and uncertainty.

Biography

[edit]

Halpern graduated in 1975 fromUniversity of Toronto with a B.S. in mathematics. He went on to earn a Ph.D. in mathematics fromHarvard University in 1981 under the supervision ofAlbert R. Meyer andGerald Sacks. He has written three books,Actual Causality,Reasoning about Uncertainty, andReasoning About Knowledge and is a winner of the 1997Gödel Prize in theoretical computer science and the 2009Dijkstra Prize in distributed computing.

From 1997 to 2003, he was editor-in-chief of theJournal of the ACM.[1]

In 2002, he was inducted as aFellow of theAssociation for Computing Machinery and in 2012 he was selected as anIEEE Fellow.[2]In 2011, he was awarded a Senior Fellowship of the Zukunftskolleg at theUniversity of Konstanz.[3]

In 2019, Halpern was elected a member of theNational 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 ofarXiv.org, and the moderator for the "general literature" and "other" subsections of the repository.[4]

His students includeNir Friedman,Daphne Koller, andYoram Moses.[5]

References

[edit]
  1. ^"History | Journal of the ACM".jacm.acm.org. Archived fromthe original on 2011-10-26. Retrieved2015-08-13.
  2. ^2012 Newly Elevated Fellows, IEEE, accessed 2011-12-10.
  3. ^"Zukunftskolleg | University of Konstanz".
  4. ^Subject areas and moderators,arxiv.org.
  5. ^Joseph Halpern at theMathematics Genealogy Project.

External links

[edit]
Gödel Prize laureates
International
National
Academics
Other


Stub icon

This biographical article relating to a computer specialist is astub. You can help Wikipedia byexpanding it.

Retrieved from "https://en.wikipedia.org/w/index.php?title=Joseph_Halpern&oldid=1245482768"
Categories:
Hidden categories:

[8]ページ先頭

©2009-2025 Movatter.jp