Zohar Manna

Dissertation: Termination of Algorithms

Advisors 2

Name	Institution	Year	Students
Martín Abadi	Stanford University	1987	2
Anuchit Anuchitanukul	Stanford University	1995	0
Marianne Baudinet	Stanford University	1989	0
Nikolaj Skallerud Bjorner	Stanford University	1999	0
Aaron Robert Bradley	Stanford University	2007	0
Jean-Marie Cadiou	Stanford University	1972	0
Ashok Kumar Chandra	Stanford University	1973	0
Edward Chang	Stanford University	1994	0
Michael Colón	Stanford University	2003	0
Luca de Alfaro	Stanford University	1998	10
Nachum Dershowitz	Weizmann Institute of Science	1979	14
Bernd E. Finkbeiner	Stanford University	2002	9
Thomas A. Henzinger	Stanford University	1991	19
Arjun Kapur	Stanford University	1997	0
Shmuel Katz	Weizmann Institute of Science	1977	5
Yonathan Malachi	Stanford University	1986	0
Hugh Wingfield Mcguire	Stanford University	1995	0
Benjamin Charles Moszkowski	Stanford University	1983	0
Cesar Sanchez	Stanford University	2007	3
Sriram Sankaranarayanan	Stanford University	2005	0
William L. Scherlis	Stanford University	1980	1
Adi Shamir	Weizmann Institute of Science	1977	10
Henny Berendien Sipma	Stanford University	1999	3
Matteo Slanina	Stanford University	2007	0
Tomas E. Uribe Restrepo	Stanford University	1999	0
Jean Vuillemin	Stanford University	1973	1
Pierre Wolper	Stanford University	1982	3
Calogero Zarba	Stanford University	2004	0
Ting Zhang	Stanford University	2006	0

Genealogy