Joseph Yehuda Halpern
Original record- Institution
- Harvard University
- Year
- 1981
- Country
- United States
- MGP identifier
- 40889
Dissertation: Axiomatic Definitions of Programming Languages and Logics of Programs
Advisors 2
- Albert Ronald da Silva MeyerHarvard University · 1972
- Gerald Enoch SacksCornell University · 1961
Students 16
| Name | Institution | Year | Students |
|---|---|---|---|
| Adam Bjorndahl | Cornell University | 2014 | 0 |
| Francis Chu | Cornell University | 2001 | 0 |
| Pablo Ignacio Fierens | Cornell University | 2003 | 0 |
| Nir Friedman | Stanford University | 1997 | 11 |
| Ivan Eduardo Geffner | Cornell University | 2021 | 0 |
| Adam Joseph Grove | Stanford University | 1992 | 0 |
| Ian Alexander Kash | Cornell University | 2010 | 0 |
| Daphne Koller | Stanford University | 1994 | 17 |
| Samantha Leung | Cornell University | 2015 | 0 |
| Li (Erran) Li | Cornell University | 2001 | 0 |
| Yoram Ofer Moses | Stanford University | 1986 | 4 |
| Riccardo Pucella | Cornell University | 2004 | 1 |
| Leandro Chaves Rêgo | Cornell University | 2006 | 6 |
| Nan Rong | Cornell University | 2016 | 0 |
| Lior Seeman | Cornell University | 2015 | 0 |
| Matvey Soloviev | Cornell University | 2021 | 0 |