Systems 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.
I am currently looking for students interested in research on:
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 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.