|
Dill LabResearch topicsSystems biologyOur 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.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 verificationFormal 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 programs to decide the validity of logic formulas involving bit-vectors, which are highly relevant to reasoning about computational systems. Formal verification technology is being used in our systems biology and voting technology research as well. |