Faculty & Research

personnel profile

David L. Dill

 
Title:Professor
Department(s):Computer Science, Electrical Engineering by courtesy
Location:Gates 344
Mail Code:9030
Phone:650.725.3642       
Fax:650.725.6949
E-mail: dill@cs.stanford.edu
URL: http://verify.stanford.edu/dill
Administrator: Judith Polenta

Research Statement

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.

Degree Discipline Year School
PhD 1987 Carnegie Mellon
Publication TitleAuthor(s)/Speaker(s)Open Document
The Pathalyzer: a Tool for Analysis of Signal Transduction Pathways David L. Dill; Merrill A. Knapp; Pamela Gage...
Display All Publications

Academic Honors & Awards

2008 Computer-Aided Verification (CAV)
Pioneer Award, Electronic Frontier Foundation
IEEE Fellow
ACM Fellow