Search

When scientists combine computer science with the information-processing power of molecules, science fiction becomes a reality. Self-assembling, programmable systems at the nanoscale are poised to have a major impact on society, from personalized medical therapeutics to biosensors that could detect pollutants in our water or disease in your body. In her talk, Lutz will describe work at Iowa State aimed at using computer science and software engineering methods to design molecular programmed systems that are efficient, verifiably correct, and safe for use.