Edmund Melson Clarke, Jr., a celebrated American academic who developed methods for mathematically proving the correctness of computer systems, died on December...Simson Garfinkel, Eugene H. Spafford From Communications of the ACM | March 1, 2021
A team of cognitive scientists and computational linguists has developed a modeling framework based on large-scale simulation of infants' language learning process...News-Medical Life Sciences From ACM TechNews | February 5, 2021
The Pentagon is consulting with U.S. universities to evaluate software on aerospace company Lockheed Martin's F-35 fighter jet in the hope of correcting the buggy...Bloomberg From ACM TechNews | February 3, 2021
Computer science concepts have been part of the official English curriculum for over a decade, but reforms have encouraged wider participation in the last six years...Brookings From ACM News | January 22, 2021
Software company Burning Glass Technologies projected quantum computing and connected technologies will be among the 10 most "disruptive" information technology...ZDNet From ACM TechNews | January 4, 2021
Massachusetts Institute of Technology and Tufts University neuroscientists have found that reading computer code activates different brain regions than reading...MIT News From ACM TechNews | December 22, 2020
Machine-learning models are trained by low-paid online gig workers. They're not going away—but we can change the way they work, says Saiph Savage.
MIT Technology Review From ACM News | December 17, 2020
Johns Hopkins University scientists mapped computer programmers' brain activity during coding exercises to uncover the underlying neural processes.
News-Medical Life Sciences From ACM TechNews | December 17, 2020
"Enslaved: Peoples of the Historical Slave Trade," a database collecting archives and entries documenting the lives of those who were enslaved, owned slaves, or...Kansas State University From ACM News | December 8, 2020