Joseph Halpern
Joseph Halpern · Technologie & ingénierie
Informaticien israélo-américain chez IBM puis à Cornell, Halpern développa des logiques rigoureuses pour raisonner sur la connaissance dans les systèmes distribués ainsi que sur l'incertitude et la causalité, faisant le lien entre informatique, économie et philosophie.
1953, Israël — 2026, États-Unis
États-Unis
Informaticien israélo-américain chez IBM puis à Cornell, Halpern développa des logiques rigoureuses pour raisonner sur la connaissance dans les systèmes distribués ainsi que sur l'incertitude et la causalité, faisant le lien entre informatique, économie et philosophie. Il partagea le prix Gödel 1997 et était issu d'une famille juive.
Vérifiez et approfondissez avec ces références externes.
Source : Jinfo.org — Jewish recipients of the Gödel Prize
Cette page paraît en sept langues à partir d'une source anglaise. Les traductions sont relues, mais une erreur peut passer. Si vous en repérez une sur cette fiche — un mot fautif, une date perdue, une phrase qui dit autre chose que l'anglais —, signalez-la-nous.
Informaticien israélo-américain chez IBM puis à Cornell, Halpern développa des logiques rigoureuses pour raisonner sur la connaissance dans les systèmes distribués ainsi que sur l'incertitude et la causalité, faisant le lien entre informatique, économie et philosophie.
Source : Jinfo.org — Jewish recipients of the Gödel Prize
Contributeurs similaires
Yoram Moses
Alon Itai
Baruch Awerbuch
Moshe Vardi
Noam Nisan
