- Computer Science
Computational analysis and verification of requirements for molecular programming and DNA nanotechnology; design specification; robustness and fault tolerance; safety-critical systems; computational modeling and simulation; DNA origami product families.
- M.S., Computer Science, Iowa State University, 1990
- Ph.D., Spanish, University of Kansas, 1980
- M.A., Spanish, University of Kansas, 1976
- B.A., English, University of Kansas, 1974