A team led by researchers from Newcastle University created new dynamic DNA data structures that can store and retrieve information in an ordered manner from DNA...Newcastle University From ACM TechNews | August 13, 2021
Harvard Professor Juan-Pérez Mercader sees chemical reactions as a kind of computation, and says molecules have enormous potential as tools of computation.
Santa Fe Institute From ACM News | August 9, 2021
Verified coding techniques use mathematical proofs to ensure code is error-free and hacker-resistant. Can the approach revolutionize software?
Samuel Greengard From Communications of the ACM | July 1, 2021
2020 ACM A.M. Turing Award recipients Alfred Aho and Jeffrey Ullman helped develop formal language theory, invented efficient algorithms to drive the tasks of a...Neil Savage From Communications of the ACM | June 1, 2021