This talk will describe efficient algorithms for the analysis and design of synthetic nucleic acid devices. These computational tools facilitate the pursuit of programmable molecular technologies relevant to longstanding challenges in biological imaging and cancer treatment.