David L. Dill

David L. Dill is a Professor of Computer Science and, by courtesy, Electrical Engineering at Stanford University. He has been on the faculty at Stanford since 1987.

His primary research interest is the development of software tools to find bugs in system designs, including hardware, protocols, and software, and the theory behind those tools. From July 1995 to September 1996, he was Chief Scientist at 0-In Design Automation. He was also one of the founders of 0-In.

Prof. Dill's Ph.D. thesis, "Trace Theory for Automatic Hierarchical Verification of Speed Independent Circuits" was named as a Distinguished Dissertation by ACM , and published as such by M.I.T. Press in 1988. He was the recipient of an Presidential Young Investigator award from the National Science Foundation in 1988, and a Young Investigator award from the Office of Naval Research in 1991. In 2001, he was named a Fellow of the IEEE for his contributions to verification of circuits and systems.