David L. Dill

MathSciNet


Ph.D. Carnegie Mellon University 1987 UnitedStates
Dissertation: Trace Theory for Automatic Heirarchical Verification of Speed-independent Circuits

Advisor: Edmund Melson Clarke, Jr.

Students:
Click here to see the students listed in chronological order.

NameSchoolYearDescendants
Alur, RajeevStanford University199112
Barrett, ClarkStanford University20035
Chakraborty, SupratikStanford University19981
Ganesh, VijayStanford University20072
Govindaraju, GaurishankarStanford University2000
Hu, AlanStanford University19965
Ip, Chung-WahStanford University1997
Jones, RobertStanford University1999
Musuvathi, MadanlalStanford University2003
Nowick, StevenStanford University1993
Park, SeungjoonStanford University1996
Stump, AaronStanford University2002
Su, XiaowuStanford University2002
Wolf, ElizabethStanford University1996
Wong-Toi, HowardStanford University1995
Yang, ChiangStanford University1999
Yun, KennethStanford University1994

According to our current on-line database, David Dill has 17 students and 42 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 50263 for the advisor ID.