|
Prof. David L. Dill
David L. Dill is Associate Professor of Computer Science and, by
courtesy, Electrical Engineering at Stanford University. He has been
on the faculty at Stanford since 1987. He has an S.B. in Electrical
Engineering and Computer Science from Massachusetts Institute of
Technology (1979), and an M.S and Ph.D. from Carnegie-Mellon
University (1982 and 1987).
His primary research interests relate to the theory and application of
formal verification techniques to system designs, including hardware,
protocols, and software. He has also done research in asynchronous
circuit verification and synthesis, and in verification methods for
hard real-time systems. He was the Chair of the Computer-Aided
Verification Conference held at Stanford University in 1994. From July
1995 to September 1996, he was Chief Scientist at 0-In Design
Automation.
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. He
has received Best Paper awards at International Conference on Computer
Design in 1991 and the Design Automation Conference in 1993 and 1998.
Email address: dill@cs.stanford.edu
|