David Harel

MathSciNet


Ph.D. Massachusetts Institute of Technology 1978 UnitedStates
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.

NameSchoolYearDescendants
Drusinsky, DoronWeizmann Institute of Science1989
Efroni, SolWeizmann Institute of Science2004
Feldman, YishaiWeizmann Institute of Science19862
Feldman, YoseeWeizmann Institute of Science1994
Heiman, RafiWeizmann Institute of Science1992
Hirst, TirzaWeizmann Institute of Science1995
Kugler, HillelWeizmann Institute of Science2004
Liran, CarmelWeizmann Institute of Science2004
Maoz, ShaharWeizmann Institute of Science2009
Peleg, DavidWeizmann Institute of Science198610
Rami, MarellyWeizmann Institute of Science2003
Raz, DannyWeizmann Institute of Science1996
Singerman, EliWeizmann Institute of Science1997
Unger, RonWeizmann Institute of Science1991
Yehuda, KorenWeizmann Institute of Science2004
Zarhy-Sherman, RivkaWeizmann Institute of Science1985

According to our current on-line database, David Harel has 16 students and 28 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.