David L. Dill


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

Advisor: Edmund Melson Clarke, Jr.

Click here to see the students listed in chronological order.

Alur, RajeevStanford University199125
Barrett, ClarkStanford University20036
Chakraborty, SupratikStanford University199810
Ganesh, VijayStanford University20079
Govindaraju, GaurishankarStanford University2000
Hu, AlanStanford University19967
Ip, Chung-WahStanford University1997
Jones, RobertStanford University1999
Musuvathi, MadanlalStanford University2003
Nowick, StevenStanford University1993
Park, SeungjoonStanford University1996
Selsam, DanielStanford University2019
Stump, AaronStanford University20025
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 18 students and 80 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.