David Harel
Original record- Institution
- Massachusetts Institute of Technology
- Year
- 1978
- Country
- United States
- MGP identifier
- 18992
Dissertation: Logics of Programs: Axiomatics and Descriptive Power
Advisors 2
- Albert Ronald da Silva MeyerHarvard University · 1972
- Vaughan Ronald PrattStanford University · 1972
Students 16
| Name | Institution | Year | Students |
|---|---|---|---|
| Doron Drusinsky | Weizmann Institute of Science | 1989 | 0 |
| Sol Efroni | Weizmann Institute of Science | 2004 | 0 |
| Yishai Feldman | Weizmann Institute of Science | 1986 | 3 |
| Yosee Feldman | Weizmann Institute of Science | 1994 | 0 |
| Rafi Heiman | Weizmann Institute of Science | 1992 | 0 |
| Tirza Hirst | Weizmann Institute of Science | 1995 | 0 |
| Hillel Kugler | Weizmann Institute of Science | 2004 | 1 |
| Carmel Liran | Weizmann Institute of Science | 2004 | 0 |
| Shahar Maoz | Weizmann Institute of Science | 2009 | 0 |
| David Peleg | Weizmann Institute of Science | 1986 | 8 |
| Marelly Rami | Weizmann Institute of Science | 2003 | 0 |
| Danny Raz | Weizmann Institute of Science | 1996 | 1 |
| Eli Singerman | Weizmann Institute of Science | 1997 | 0 |
| Ron Unger | Weizmann Institute of Science | 1991 | 0 |
| Koren Yehuda | Weizmann Institute of Science | 2004 | 0 |
| Rivka Zarhy-Sherman | Weizmann Institute of Science | 1985 | 0 |