Joseph Yehuda Halpern

MathSciNet


Ph.D. Harvard University 1981 UnitedStates
Dissertation: Axiomatic Definitions of Programming Languages and Logics of Programs

Advisor 1: Albert Ronald da Silva Meyer
Advisor 2: Gerald Enoch Sacks

Students:
Click here to see the students listed in chronological order.

NameSchoolYearDescendants
Bjorndahl, AdamCornell University2014
Chu, FrancisCornell University2001
Fierens, PabloCornell University2003
Friedman, NirStanford University19973
Grove, AdamStanford University1992
Koller, DaphneStanford University199436
Li, LiCornell University2001
Moses, YoramStanford University19856
Pucella, RiccardoCornell University20041
RĂªgo, LeandroCornell University20065

According to our current on-line database, Joseph Halpern has 10 students and 61 descendants.
We welcome any additional information.

If you have additional information or corrections regarding this mathematician, please use the update form. To submit students of this mathematician, please use the new data form, noting this mathematician's MGP ID of 40889 for the advisor ID.