Tendrá lugar el lunes 8 de mayo a las 12:00 en el aula A13 del Ada Byron
Abstract
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. This talk will describe our work at Iowa State University aimed at using computer science and software engineering methods to design molecular programmed systems that are efficient, verifiably correct, and safe for use.
Short bio
Dr. Robyn Lutz is a professor of computer science at Iowa State University. She was on the technical staff of Jet Propulsion Laboratory, California Institute of Technology until 2012, most recently in the Software System Engineering group. Her research interests include safety-critical software systems, product lines, and the specification and verification of DNA nanosystems. She is an ACM Distinguished Scientist. She served as program chair of the 2014 International Requirements Engineering Conference, recently completed her second term as an associate editor of IEEE Transactions on Software Engineering, and is on the editorial board of the Requirements Engineering Journal.
