Fødsel | 29. maj 1953 |
---|---|
Nationalitet | amerikansk |
Områder | Computer videnskab |
Institutioner | Cornell University |
Eksamensbevis | Harvard Universitet |
Tilsynsførende | Albert R. Meyer og Gerald Sacks |
Ph.d.-studerende | Nir Friedman , Daphne Koller , Yoram Moses |
Priser | 1997 Gödel-prisen , 2009 Dijkstra-prisen |
Joseph Yehuda Halpern , født den29. maj 1953, er professor i datalogi ved Cornell University . Hans forskningsarbejde vedrører primært begrundelse for viden og usikkerhed.
Halpern modtog en Bachelor of Science BS i matematik ved University of Toronto i 1975 og en Ph.D. Ph. D. i 1981 ved Harvard University under den fælles ledelse af Albert R. Meyer og Gerald Sacks .
Halperns forskning drejer sig om viden og usikkerhed, og dets applikationer til distribueret computing , kunstig intelligens , computersikkerhed og spilteori . Han har også bidraget og er fortsat interesseret i emner som fejltolerance i distribueret databehandling, modalogik , kausalitet , programverifikation og semantik i programmeringssprog . Hans forskning har forbindelser med andre discipliner, såsom økonomi, matematik, filosofi.
Halpern har skrevet to bøger: Ræsonnement om usikkerhed og Ræsonnement om viden . Blandt hans studerende er Nir Friedman , Daphne Koller og Yoram Moses .
Halpern har skrevet mange, mange artikler.
Halpern er også administrator af Computing Research Repository , IT-sektionen på ArXiv arkivwebstedet og moderator for den generelle litteratur og andre underafsnit på webstedet.