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
Cryptographic algorithms called zero-knowledge proof protocols are a mathematical method that enables the owner of an ML model to generate a succinct proof to demonstrate...Texas A&M University From ACM TechNews | May 6, 2021
A thesis defended at Spain's Universitat Oberta de Catalunya (UOC) analyses the structural patterns of complex systems such as social networks.
Universitat Oberta de Catalunya From ACM TechNews | May 6, 2021
The nascent quantum industry is calling on higher education to begin preparing a quantum workforce with a broader, less specialized range of technical skills.
Gregory Goth Commissioned by CACM Staff From ACM News | March 25, 2021
Majorana particles would make perfect qubits to build a large quantum computer, but their creation and detection in 2018 was probably no more than overinterpreted...Arnout Jaspers Commissioned by CACM Staff From ACM News | March 11, 2021
Researchers from the University of Massachusetts Amherst and Northwestern University have devised a novel type of quantum error correction where errors are spontaneously...University of Massachusetts Amherst From ACM News | February 19, 2021
Researchers at the University of Cambridge and the Skolkovo Institute of Science and Technology have proposed a new optical computing method for solving higher-order...University of Cambridge From ACM TechNews | February 17, 2021