Sonia Moreno, Hugh Potter, and Narun Raman presented the poster "ALCH: An Imperative Language for the Chemical Reaction Network-Controlled Tile Assembly Model," by Titus H. Klinge, James I. Lathrop, Sonia Moreno, Hugh D. Potter, Narun K.
Xiang Huang won the ISNSCE Best Presentation Award for his presentation of the paper "Real-Time Equivalence of Chemical Reaction Networks and Analog Computers," by Xiang Huang, Titus H. Klinge, and James I.
Robyn Lutz presented the paper "Robustness and Games Against Nature in Molecular Programming," by Jack H. Lutz, Neil Lutz, Robyn R. Lutz, and Matthew R.
Jack Lutz gave a two-hour invited tutorial, "Finite-State Information and Randomness," at the North American Annual Meeting of the Association for Symbolic Logic in New York, NY, May 20-23, 2019.
Jack and Robyn Lutz visited the National University of Singapore May 5-16, 2019. Jack gave an invited talk, "Quantifying equidistribution: a survey of finite-state dimensions," as part of his two-week participation in the program, Equidistri
The paper "Runtime fault detection in programmed molecular systems," by Sam Ellis, Titus Klinge, Jim Lathrop, Jack Lutz, Robyn Lutz, Andy Miner, and Hugh Potter, appeared in ACM Transactions on Software Engineering and Methodology 28 (2019).
LAMP alum David Doty, now at the University of California-Davis, has received a National Science Foundation CAREER Award (2019-2024) for research on "Error-Free, Uniform and Composable Chemical Computation." Congratulations, Dave!
Robyn Lutz visited Georgia Tech Feb. 26, 2019 to discuss recent work by R. Mangal, Aditya Nori and Alex Orso on probabilistic robustness for neural networks.
Robyn Lutz gave a talk, "Describing 'Safe & Secure' for Programmed Molecular Systems," at the IFIP 2.9, Requirements Engineering meeting, Feb. 18-22, 2019.
The paper "Real-time Computability of Real Numbers by Chemical Reaction Networks," by Xiang Huang, Titus Klinge, Jim Lathrop, Xiaoyuan Li, and Jack Lutz, has appeared in Natural Computing 18(2019).
The group was well represented at the Midwest Verification Days workshop, held this year (its tenth) at the University of Iowa, September 28-29, 2018. Hugh Potter gave the talk "Runtime fault detection in programmed molecular systems,"
Robyn Lutz gave a keynote, "Software Engineering for Safety in Programmed Molecular Systems," at the 37th Int'l Conference on Computer Safety, Reliability, and Security, in Västerås, Sweden, Sept. 19, 2018.
Jack Lutz and Robyn Lutz gave a half-day tutorial, "On Tap: Writing Requirements for Molecular Programs," at the 26th IEEE Int’l Conference on Requirements Engineering, in Banff, Canada, Aug. 21, 2018.
Jack Lutz gave the talk, "Algorithmic Randomness in Chemical Reaction Networks," at the 15th Int'l Conference on Computability and Complexity in Analysis, Lake Kochel, Germany, Aug. 5-8, 2018. This is joint work with Ph.D.
Adam Case, Jack Lutz, and Don Stull's paper, "Reachability Problems for Continuous Chemical Reaction Networks," appeared in Natural Computing 17 (2018).
