David L. Dill

Dissertation: Trace Theory for Automatic Heirarchical Verification of Speed-independent Circuits

Advisor 1

Name	Institution	Year	Students
Rajeev Alur	Stanford University	1991	20
Clark Wayne Barrett	Stanford University	2003	6
Supratik Chakraborty	Stanford University	1998	8
Vijay Ganesh	Stanford University	2007	11
Gaurishankar Govindaraju	Stanford University	2000	0
Alan John Hu	Stanford University	1996	7
Chung-Wah Norris Ip	Stanford University	1997	0
Robert Brent Jones	Stanford University	1999	0
Madanlal S. Musuvathi	Stanford University	2003	0
Steven Mark Nowick	Stanford University	1993	1
Seungjoon Park	Stanford University	1996	0
Daniel Selsam	Stanford University	2019	0
Aaron David Stump	Stanford University	2002	5
Xiaowu Jeffrey Su	Stanford University	2002	0
Elizabeth Susan Wolf	Stanford University	1996	0
Howard Wong-Toi	Stanford University	1995	0
Chiang Han Yang	Stanford University	1999	0
Kenneth Yi Yun	Stanford University	1994	0

Genealogy