Dr. Samuel J. Ellis received his B.S. degree in Computer Science from Saint John’s University. He later earned his M.S. and Ph.D. in Computer Science from Iowa State University. His research focused on applying Software Requirements Engineering and Software Safety principles to Molecular Programmed Nanosystems. He participated in the development of a number of devices constructed from Chemical Reaction Networks including boolean logic gates, a molecular watchdog timer, and the implementation of a logging algorithm for other systems constructed from chemical reaction networks. He verified the correctness and robustness of the devices was using a combination of formal methods and probabilistic model checking.