Zvi Galil
Original record- Institution
- Cornell University
- Year
- 1975
- Country
- United States
- MGP identifier
- 67227
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. HopcroftStanford University · 1964
Students 17
| Name | Institution | Year | Students |
|---|---|---|---|
| Sabah Hamad al-Sabah Al-Binali | Columbia University | 1998 | 0 |
| Amir Averbuch | Columbia University | 1983 | 24 |
| Amir M. Ben-Amram | Tel Aviv University | 1995 | 0 |
| Mordechai Ben-Ari | Tel Aviv University | 1982 | 7 |
| Dany Breslauer | Columbia University | 1992 | 0 |
| David A. Eppstein | Columbia University | 1989 | 13 |
| Matthew Keith Franklin | Columbia University | 1994 | 4 |
| Raffaele Giancarlo | Columbia University | 1990 | 3 |
| Stuart Haber | Columbia University | 1988 | 0 |
| Giuseppe F. Italiano | Columbia University | 1991 | 17 |
| Jonathan Katz | Columbia University | 2002 | 8 |
| Oded Margalit | Tel Aviv University | 1993 | 0 |
| Alain Mayer | Columbia University | 1995 | 0 |
| Kunsoo Park | Columbia University | 1992 | 16 |
| Adam Lucas Young | Columbia University | 2002 | 0 |
| Xiangdong Yu | Columbia University | 1996 | 0 |
| Moti Yung | Columbia University | 1988 | 9 |