ACM

Communications of the ACM

Recent Interviews

Yael Tauman Kalai of Microsoft Research and MIT

Verifying Correctness

From Communications of the ACM

Yael Tauman Kalai on her career, proof systems, and certifying correctness.

Leah Hoffmann | March 1, 2024

From ACM TechNews

Wikiscanner Creator Virgil Griffith

California Institute of Technology doctoral candidate in computation and neural systems Virgil Griffith created WikiScanner, software that reveals who has made... Computerworld
From ACM TechNews | April 27, 2009

From ACM TechNews

Google's Alfred Spector on the Hot Seat

Google vice president of research Alfred Spector says the search giant is working on a wide variety of research projects. One project is Search by Voice, an intuitive... Computerworld
From ACM TechNews | March 27, 2009