David 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.

Email addres: dill@theforce.stanford.edu