Communications of the ACM
A Healthy Dose of AI
Building artificial intelligence into medical devices can speed diagnoses and potentially improve treatments and outcomes.
From ACM NewsAn edited collection of advanced computing news from Communications of the ACM, ACM TechNews, other ACM resources, and news sites around the Web.
From ACM News
Pushing the Frontiers of Mathematical Research
Computer proof assistants are being used to create online libraries of mathematical theorems and proofs.
From ACM News
Life as a Logician
Mathematician Martin Jackson is known for his work on Hilbert's Tenth Problem, among other things.
From ACM News
Honoring the Ties Between Computer Science and Mathematics
László Lovász and Avi Wigderson were awarded the 2021 Abel Prize.
From ACM News
Election Security: A Scientific View
Barbara Simons and the issues with Internet voting.
From ACM News
Why Did We Go Digital?
Princeton University's Ken Steiglitz feels an attachment to the analog.
From ACM News