Professor Winfree's research involves theoretical and experimental aspects of molecular programming. Models of computation are developed that incorporate essential features of molecular folding, molecular self-assembly, biochemical circuits, and molecular robotics. These models are studied to determine their expressiveness for programming molecular-level tasks including decision-making, memory, behavior, and morphogenesis.  Methods for compiling abstract molecular programs into actual molecules are developed and tested in the laboratory.