David Harel
Ph.D. Massachusetts Institute of Technology 1978
Dissertation:
Logics of Programs: Axiomatics and Descriptive Power
Advisor 1: Vaughan Ronald Pratt
Advisor 2: Albert Ronald da Silva Meyer
Students:
Click
here to see the students listed in chronological order.
| Name | School | Year | Descendants |
|---|---|---|---|
| Drusinsky, Doron | Weizmann Institute of Science | 1989 | |
| Efroni, Sol | Weizmann Institute of Science | 2004 | |
| Feldman, Yishai | Weizmann Institute of Science | 1986 | 3 |
| Feldman, Yosee | Weizmann Institute of Science | 1994 | |
| Heiman, Rafi | Weizmann Institute of Science | 1992 | |
| Hirst, Tirza | Weizmann Institute of Science | 1995 | |
| Kugler, Hillel | Weizmann Institute of Science | 2004 | 1 |
| Liran, Carmel | Weizmann Institute of Science | 2004 | |
| Maoz, Shahar | Weizmann Institute of Science | 2009 | |
| Peleg, David | Weizmann Institute of Science | 1986 | 11 |
| Rami, Marelly | Weizmann Institute of Science | 2003 | |
| Raz, Danny | Weizmann Institute of Science | 1996 | 1 |
| Singerman, Eli | Weizmann Institute of Science | 1997 | |
| Unger, Ron | Weizmann Institute of Science | 1991 | |
| Yehuda, Koren | Weizmann Institute of Science | 2004 | |
| Zarhy-Sherman, Rivka | Weizmann Institute of Science | 1985 |
According to our current on-line database, David Harel has 16 students and 32 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 18992 for the advisor ID.