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 University198326
Ben-Amram, AmirTel Aviv University1995
Ben-Ari, MordechaiTel Aviv University19827
Breslauer, DanyColumbia University1992
Eppstein, DavidColumbia University19897
Franklin, MatthewColumbia University19944
Giancarlo, RaffaeleColumbia University19901
Haber, StuartColumbia University1988
Italiano, GiuseppeColumbia University199114
Katz, JonathanColumbia University20025
Margalit, OdedTel Aviv University1993
Mayer, AlainColumbia University1995
Park, KunsooColumbia University199216
Young, AdamColumbia University2002
Yu, XiangdongColumbia University1996
Yung, MotiColumbia University198838

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