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 ordered by family name.
| Name | School | Year | Descendants |
|---|---|---|---|
| Alur, Rajeev | Stanford University | 1991 | 25 |
| Nowick, Steven | Stanford University | 1993 | 1 |
| Yun, Kenneth | Stanford University | 1994 | |
| Wong-Toi, Howard | Stanford University | 1995 | |
| Hu, Alan | Stanford University | 1996 | 7 |
| Park, Seungjoon | Stanford University | 1996 | |
| Wolf, Elizabeth | Stanford University | 1996 | |
| Ip, Chung-Wah | Stanford University | 1997 | |
| Chakraborty, Supratik | Stanford University | 1998 | 10 |
| Jones, Robert | Stanford University | 1999 | |
| Yang, Chiang | Stanford University | 1999 | |
| Govindaraju, Gaurishankar | Stanford University | 2000 | |
| Stump, Aaron | Stanford University | 2002 | 5 |
| Su, Xiaowu | Stanford University | 2002 | |
| Barrett, Clark | Stanford University | 2003 | 6 |
| Musuvathi, Madanlal | Stanford University | 2003 | |
| Ganesh, Vijay | Stanford University | 2007 | 9 |
| Selsam, Daniel | Stanford University | 2019 |
According to our current on-line database, David Dill has 18 students and 81 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.