• USA-2005

    For contributions to system verification and for leadership in the development of verifiable voting systems.

  • USA-1988

    For his dissertation "Trace Theory for Automatic Hierarchical Verification of Speed-Independent Circuits."

Dill has interests in the theory and application of formal verification techniques to system designs, which encompass hardware, protocols, and software and in computational systems biology. He has also done research in asynchronous circuit verification and synthesis, and in verification methods for hard real-time systems.
He retired in 2017 and is no longer taking new students. He is currently a researcher at Facebook on blockchain technology.