David Lansing Dill (born January 8, 1957) is a computer scientist and academic noted for contributions to formal verification, electronic voting security, and computational systems biology. In 2013, Dill was elected as a member into the National Academy of Engineering for the development of techniques to verify hardware, software, and ...

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.

Dill has extensive experience with computational modeling and analysis of biological networks and high-throughput data. He implemented a new version of our haplotype-based genetic mapping algorithm that was 30,000 times faster than the original version; and developed a metabolic network analysis program, which can identify the genetic basis for ...

Automata, Languages and Programming: 17th International Colloquium Warwick … [1990] Proceedings. Fifth Annual IEEE Symposium on Logic in Computer Science … Automatic Verification Methods for Finite...

David Dill Donald E. Knuth Professor in the School of Engineering, Emeritus 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.

David L. Dill, Wolfgang Grieskamp, Junkil Park, Shaz Qadeer, Meng Xu, Jingyi Emma Zhong: Fast and Reliable Formal Verification of Smart Contracts with the Move Prover. CoRR abs/2110.08362 ( 2021 )

David Dill is chairman and chief executive officer of Lifepoint Health. In this role, he is responsible for the development and oversight of Lifepoint’s strategic priorities and organizational growth, advancing the company’s mission and strengthening its culture enterprise-wide.

Dr. Dill's current research is in computational methods for understanding regulatory circuits in cell biology. His interests in computational systems biology as well as the theory and application of formal verification techniques to system designs, which …

David Dill Donald E. Knuth Professor in the School of Engineering, Emeritus Our lab is interested in Boolean modeling to gaining insight into cellular processes at a systems level.