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 University199711
Geffner, IvanCornell University2021
Grove, AdamStanford University1992
Kash, IanCornell University2010
Koller, DaphneStanford University199459
Leung, SamanthaCornell University2015
Li, LiCornell University2001
Moses, YoramStanford University198613
Pucella, RiccardoCornell University20041
Rêgo, LeandroCornell University20066
Rong, NanCornell University2016
Seeman, LiorCornell University2015
Soloviev, MatveyCornell University2021

According to our current on-line database, Joseph Halpern has 16 students and 106 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.