John Clifford Mitchell

Dissertation: Lambda Calculus Models of Typed Programming Languages

Advisor 1

Name	Institution	Year	Students
Ole Agesen	Stanford University	1996	0
Ajay Chander	Stanford University	2004	0
Anupam Datta	Stanford University	2005	5
Ante Derek	Stanford University	2006	0
Nancy Ann Durgin	Stanford University	2003	0
Kathleen Shanahan Fisher	Stanford University	1996	0
Stephen Neal Freund	Stanford University	2000	0
Changhua He	Stanford University	2006	0
My Khanh Hoang	Stanford University	1995	0
Brian T. Howard	Stanford University	1992	0
Dinesh Katiyar	Stanford University	1995	0
Morris Joel Katz	Stanford University	1998	0
Patrick Denis Lincoln	Stanford University	1992	0
Amit Jayant Patel	Stanford University	2002	0
Ajith Ramanathan	Stanford University	2005	0
Vitaly Shmatikov	Stanford University	2000	2
Mukund Sundararajan	Not recorded	—	0
Ankur Taly	Stanford University	2013	0
Vanessa Joy Teague	Stanford University	2005	0
Ramesh Viswanathan	Stanford University	1995	0

Genealogy