Stanford Experts

David Dill

Title:
Professor emeritus, Computer Science

Email:
DILL@CS.stanford.edu

Phone:
(650) 723-0748

Website:
https://profiles.stanford.edu/david-dill

Description

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