David L. Dill
Ph.D. Carnegie Mellon University 1987
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.
| Name | School | Year | Descendants |
|---|---|---|---|
| Rajeev Alur | Stanford University | 1991 | 9 |
| Clark Barrett | Stanford University | 2003 | 1 |
| Supratik Chakraborty | Stanford University | 1998 | 1 |
| Vijay Ganesh | Stanford University | 2007 | |
| Gaurishankar Govindaraju | Stanford University | 2000 | |
| Alan Hu | Stanford University | 1996 | 5 |
| Chung-Wah Ip | Stanford University | 1997 | |
| Robert Jones | Stanford University | 1999 | |
| Madanlal Musuvathi | Stanford University | 2003 | |
| Steven Nowick | Stanford University | 1993 | |
| Seungjoon Park | Stanford University | 1996 | |
| Aaron Stump | Stanford University | 2002 | |
| Xiaowu Su | Stanford University | 2002 | |
| Elizabeth Wolf | Stanford University | 1996 | |
| Howard Wong-Toi | Stanford University | 1995 | |
| Chiang Yang | Stanford University | 1999 | |
| Kenneth Yun | Stanford University | 1994 |
According to our current on-line database, David Dill has 17 students and 33 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.