David Dill has been a Professor of Computer Science and, by courtesy, Electrical Engineering at Stanford University since 1987, when he received a PhD in Computer Science from Carnegie-Mellon University. Prof. Dill's primary research interests are the theory and applications of formal verification to improve the quality of hardware, software, and protocol designs. In 2001, he became an IEEE Fellow for his contributions to verification of systems. In the last few years, Prof. Dill has been a major voice in a national discussion about the appropriate use of computing technology in voting. This work included founding the non-profits VerifiedVoting.org and the Verified Voting Foundation. He received the Electronic Frontier Foundation's "Pioneer Award" in 2004 for "spearheading and nurturing the popular movement for integrity and transparency in modern elections."