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 ordered by family name.

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

According to our current on-line database, Zvi Galil has 17 students and 166 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.