Skip to main content

LAMP: Laboratory for Molecular Programming

Laboratory for Molecular Programming

News

  • Hugh successfully defended his thesis, "Programs and Proofs: A Molecular Toolchain" (supervised by co-PIs J. Lathrop and J. Lutz).

  • Dawn successfully defended her thesis, "Practical Computation with Chemical Reaction Networks and Algorithmic Randomness" (supervised by co-PIs J. Lathrop and J. Lutz).

  • Andrei successfully defended his thesis, "Randomness and Dimension in Computational Learning and Analog Computation" (supervised by co-PI J. Lutz).

  • The paper “Population-Induced Phase Transitions and the Verification of Chemical Reaction Networks," by James I. Lathrop, Jack H. Lutz, Robyn R. Lutz, Hugh D. Potter and Matthew R. Riley, appeared in Natural Computing. doi:https://doi.org/10.1007/s11047-021-09877-9.

  • Robyn Lutz gave an invited keynote on “Designing Safe Programmed Molecular Systems,” at SPLASH Onward!, Oct. 22, 2021.

  • James Lathrop, Robyn Lutz and Jack Lutz presented the poster,  “ALCH: An Imperative Language for the CRN-TAM,” at the NSF Cyber-Physical Systems Principal Investigators’ Meeting, June 2-4, 2021 (virtual).

  • Michael Gerten presented the paper "ChemTest: An Automated Software Testing Framework for an Emerging Paradigm," by Michael C. Gerten, James I. Lathrop, Myra Cohen, and Titus H. Klinge, on September 23, 2020, at the Thirty-fifth IEEE/ACM International Conference on Automated Software Engineering.

  • The paper "ChemTest: An Automated Software Testing Framework for an Emerging Paradigm," by Michael C. Gerten, James I. Lathrop, Myra Cohen, and Titus H. Klinge, won an ACM SIGSOFT Distinguished Paper Award for the 35th IEEE/ACM International Conference on Automated Software Engineering (September 21-25, 2020).

  • Hugh Potter presented the paper "Population-Induced Phase Transitions and the Verification of Chemical Reaction Networks," by James I. Lathrop, Jack H. Lutz, Robyn R. Lutz, Hugh D. Potter, and Matthew R. Riley, on September 17, 2020, at the Twenty-sixth International Conference on DNA Computing and Molecular Programming.

  • Hugh Potter presented the paper "ALCH: An Imperative Language for Chemical Reaction Network-Controlled Tile Assembly," by Titus H. Klinge, James I. Lathrop, Sonia Moreno, Hugh D. Potter, Narun K. Raman, and Matthew R. Riley, on September 16, 2020, at the Twenty-sixth International Conference on DNA Computing and Molecular Programming.

  • Titus H. Klinge, James I. Lathrop, Sonia Moreno, Hugh D. Potter, Narun K. Raman, and Matthew R. Riley released ALCH beta software binaries via this LAMP website.  This software helps users compile and simulate programs on the network-controlled tile assembly model.

  • LAMP had the following two posters at the Twenty-sixth International Conference on DNA Computing and Molecular Programming. 1. Willem Fletcher, a LAMP collaborator at Carleton College) and Matt Rayman presented "New Insights on Real-Time CRN-Computable Numbers," by Willem Fletcher, Titus H. Klinge, James I. Lathrop, and Matthew Rayman. 2. Michael Gerten presented "A Software Testing Framework for Stochastic Chemical Reaction Network Programs," by Michael C. Gerten, James I. Lathrop, Myra B Cohen, and Titus H. Klinge.

  • Xiang Huang successfully defended his Ph.D. thesis, "Chemical Reaction Networks: Computability, Complexity, and Randomness," on August 19, 2020.  Dr. Huang was advised by Jack Lutz and has accepted a position as Assistant Professor of Computer Science at the University of Illinois Springfield.  Congratulations, Xiang!

  • The paper "Robust Biomolecular Finite Automata," by Titus H. Klinge, James I. Lathrop, and Jack H. Lutz, appeared in the May 16, 2020, issue of Theoretical Computer Science.

  • Mikaela Cashman successfully defended her Ph.D. thesis, "Interpretability of Configurable Software in the Biosciences," on May 6, 2020.  Dr. Cashman was advised by Myra Cohen and has accepted a position as a Postdoctoral Researcher at the Oak Ridge National Laboratory.  Congratulations, Mikaela!

  • Jack Lutz and Robyn Lutz spent the first half of their Spring, 2020, sabbatical visiting Erik Winfree and his molecular programming group at Caltech.  Jack and Robyn planned to spend the second half of the sabbatical at the University of Texas, but the COVID-19 crisis forced them to work from home in Ames instead.

  • Robyn Lutz gave the talk “Behavioral Modeling of Molecular Programs at Scale”, at the Annual meeting of IFIP (International Federation of Information Processing) 2.9, Working Group on Requirements Engineering, Panama City, Panama, Feb. 9-14, 2020.

  • Jack Lutz gave an invited talk, "Passing Hilbert's Final Test," in the AMS-ASL Special Session on Logic Facing Outward at the Joint Mathematics Meetings, January 15-18, 2020, in Denver, CO.

  • Robyn Lutz and Jack Lutz attended the NSF Cyber-Physical Systems Principal Investigators’ Meeting in Arlington, VA, Nov. 21-22, 2019. They presented the poster, James I. Lathrop, Jack H. Lutz, Robyn R. Lutz, Hugh D. Potter, and Matthew R. Riley, “Quorum Sensing and Verification in Chemical Reaction Networks.”

  • Robyn Lutz visited Tuba Yavuz and gave the talk “Designing Safe Programmed Molecular Systems,” in the ECE Seminar, University of Florida, Nov. 4, 2019.

Subscribe to RSS Feed