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
Canada's Office of the Privacy Commissioner has cited the Royal Canadian Mounted Police for illegally using facial recognition software from Clearview AI.
The Wall Street Journal From ACM TechNews | June 18, 2021
A spokesperson for video game publisher Electronic Arts verified that hackers have compromised the company's systems and stolen game source code and other assets...CNN From ACM TechNews | June 11, 2021
Clearview AI has been marketing facial recognition software to law enforcement around the country. In Minnesota, some agencies are finding out the technology doesn't...West Central Tribune (MN) From ACM News | May 27, 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
University of Michigan researchers have developed a method of helping robots to predict when the model on which they were trained is unreliable.
The Michigan Engineer News Center From ACM TechNews | May 24, 2021
Amazon has indefinitely extended its ban on police use of its facial recognition software, which lawmakers and company employees have said discriminates against...CNN Business From ACM TechNews | May 19, 2021