Zvi Galil

MathSciNet


Ph.D. Cornell University 1975 UnitedStates
Dissertation: The Complexity of Resolution Procedures for Theorem Proving in the Propositional Calculus
Mathematics Subject Classification: 03—Mathematical logic and foundations

Advisor 1: John Edward H. Hopcroft

Students:
Click here to see the students listed in chronological order.

NameSchoolYearDescendants
Al-Binali, SabahColumbia University1998
Averbuch, AmirColumbia University198335
Ben-Amram, AmirTel Aviv University1995
Ben-Ari, MordechaiTel Aviv University19827
Breslauer, DanyColumbia University1992
Eppstein, DavidColumbia University198913
Franklin, MatthewColumbia University19944
Giancarlo, RaffaeleColumbia University19903
Haber, StuartColumbia University1988
Italiano, GiuseppeColumbia University199121
Katz, JonathanColumbia University20026
Margalit, OdedTel Aviv University1993
Mayer, AlainColumbia University1995
Park, KunsooColumbia University199216
Young, AdamColumbia University2002
Yu, XiangdongColumbia University1996
Yung, MotiColumbia University198866

According to our current on-line database, Zvi Galil has 17 students and 174 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 67227 for the advisor ID.