Joseph Yehuda Halpern
Ph.D. Harvard University 1981
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 ordered by family name.
| Name | School | Year | Descendants |
|---|---|---|---|
| Moses, Yoram | Stanford University | 1986 | 13 |
| Grove, Adam | Stanford University | 1992 | |
| Koller, Daphne | Stanford University | 1994 | 59 |
| Friedman, Nir | Stanford University | 1997 | 11 |
| Chu, Francis | Cornell University | 2001 | |
| Li, Li | Cornell University | 2001 | |
| Fierens, Pablo | Cornell University | 2003 | |
| Pucella, Riccardo | Cornell University | 2004 | 1 |
| Rêgo, Leandro | Cornell University | 2006 | 6 |
| Kash, Ian | Cornell University | 2010 | |
| Bjorndahl, Adam | Cornell University | 2014 | |
| Leung, Samantha | Cornell University | 2015 | |
| Seeman, Lior | Cornell University | 2015 | |
| Rong, Nan | Cornell University | 2016 | |
| Geffner, Ivan | Cornell University | 2021 | |
| Soloviev, Matvey | Cornell University | 2021 |
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.