Dill has interests in computational systems biology as well as the theory and application of formal verification techniques to system designs, which encompass hardware, protocols, and software. He has also done research in asynchronous circuit verification and synthesis, and in verification methods for hard real-time systems.
Last modified Fri, 1 Mar, 2013 at 16:10
|The Pathalyzer: a Tool for Analysis of Signal Transduction Pathways||David L. Dill; Merrill A. Knapp; Pamela Gage; Carolyn Talcott; Keith Laderoute; Patrick Lincoln||01-2005|
2008 Computer-Aided Verification (CAV)
Pioneer Award, Electronic Frontier Foundation