Research

Research Interests

• Molecular programming and DNA nanotechnology, including computational limits, complexity, and robustness of programmed molecular systems
• Algorithmic information theory, complexity theory, randomness, resource bounded measure, and applications to molecular programming
• Software engineering and formal verification of molecular programs and software tool development for molecular programming

Recent Papers

1. Titus H. Klinge, James I. Lathrop, and Jack H. Lutz, Robust Biomolecular Finite Automata, submitted.

2. Xiang Huang, Titus H. Klinge, and James I. Lathrop. Real-Time Equivalence of Chemical Reaction Networks and Analog Computers Proceedings of the Twenty-Fifth International Conference on DNA Computing and Molecular Programming (DNA 2019, Seattle, WA, August 5-9, 2019), to appear.

3. Samuel J. Ellis, Titus H. Klinge, and James I. Lathrop, Robust Chemical Circuits, BioSystems, to appear.

4. Samuel J. Ellis, Titus H. Klinge, James I. Lathrop, Jack H. Lutz, Robyn R. Lutz, Andrew S. Miner, and Hugh D. Potter, Runtime Fault Detection in Programmed Molecular Systems, ACM Transactions on Software Engineering and Methodology 28 (2019), Article 6 (20 pages).

5. Xiang Huang, Titus H. Klinge, James I. Lathrop, Xiaoyuan Li, and Jack H. Lutz, Real-Time Computability of Real Numbers by Chemical Reaction Networks, Natural Computing 18 (2019), pp. 63-73.

6. Sarah Dahlby Albright, Titus H. Klinge, and Samuel Rebelsky, A Functional Approach to Data Science in CS1, Proceedings of the Fourty-Ninth Technical Symposium on Computer Science Education (SIGCSE 2018, Baltimore, MD, February 21-24, 2018), ACM, 2018.

7. Samuel J. Ellis, Titus H. Klinge, and James I. Lathrop, Robust Combinatorial Circuits in Chemical Reaction Networks, Proceedings of the Sixth International Conference on the Theory and Practice of Natural Computing (TPNC 2017, Prague, Czech Republic, December 18-20, 2017), Springer, 2017, pp. 178-189.

8. Xiang Huang, Xiaoyuan Li, Titus H. Klinge, James I. Lathrop, and Jack H. Lutz, Real-Time Computability of Real Numbers by Chemical Reaction Networks, Proceedings of the Sixteenth International Conference on Unconventional Computation and Natural Computation (UCNC 2017, Fayetteville, AR, June 5-9, 2017), Springer, 2017, pp. 29-40.

9. Titus H. Klinge, Robust Signal Restoration in Chemical Reaction Networks, Proceedings of the Third ACM International Conference on Nanoscale Computing and Communication (NANOCOM 2016, New York, NY, September 28-30, 2016), ACM, 2016, pp. 6:1-6:6.

10. Samuel J. Ellis, Eric R. Henderson, Titus H. Klinge, James I. Lathrop, Jack H. Lutz, Robyn R. Lutz, Divita Mathur, and Andrew S. Miner, Automated Requirements Analysis for a Molecular Watchdog Timer, Proceedings of the Twenty-ninth IEEE/ACM International Conference on Automated Software Engineering (ASE 2014, Vasteras, Sweden, September 15-19, 2014), pp. 767-778. IFIP TC2 Manfred Paul Award for Excellence in Software: Theory and Practice.

11. Robyn R. Lutz, Jack H. Lutz, James I. Lathrop, Titus H. Klinge, Divita Mathur, D. M. Stull, Taylor G. Bergquist, and Eric R. Henderson, Requirements Analysis for a Product Family of DNA Nanodevices, Proceedings of the Twentieth IEEE International Requirements Engineering Conference (RE 2012, Chicago, IL, September 24-28, 2012), pp. 211-220.

12. Robyn Lutz, Jack Lutz, James Lathrop, Titus Klinge, Eric Henderson, Divita Mathur, and Dalia Abo Sheasha, Engineering and Verifying Requirements for Programmable Self-Assembling Nanomachines, Proceedings of the Thirty-Fourth International Conference on Software Engineering (ICSE 2012, Zurich, Switzerland, June 2-9, 2012), pp. 1361-1364.