Dill Lab

Research topics

Systems biology

Our basic goal is to develop a systems-level understanding of cellular functions, in the same way that we can understand electronic circuits, especially digital circuits.  Research has focused on analysis of high-throughput biological data and global analysis of biological models. In both cases, we emphasize Boolean methods, which classify measured values into a small number of discrete ranges. We have developed methods for analyzing time-courses and for finding relationships in large amounts of microarray data, and for analyzing curated models of signal transduction pathways and the cell cycle.

I am currently looking for students interested in research on:

  • Models of signal transduction networks in cancer.
  • Gene expression in cancer stem cells.
  • Analysis of metabolic networks to explain results of mass spectrometry analysis.
  • Other topics in computational systems biology.

More generally: Computational Biology in the Stanford Computer Science Department

Voting technology.

As part of the National Science Foundation's ACCURATE voting technology research center, we are studying voting technology issues.

Formal verification

Formal verification applies logic and automata theory to prove the correctness of systems (or, in practice, to find system design errors).  We are currently working on automatically proving the correctness of cipher and cryptographic hash implementations. Formal verification technology is being used in our systems biology and voting technology research as well.