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

Futurephile: A Mini Phone in the Jawbone

Kenexa CEO Rudy Karsan, a fellow of the Society of Actuaries, predicts that technology will become increasingly customized and personal, potentially even leading... Financial Times Digital Business
From ACM TechNews | July 14, 2009

From ACM TechNews

It Built Into Your Jewelery

Henry Tirri, Nokia's head of research, says the economic downturn will lead to more investments in collaboration tools, broadband, video, and mobile technology... Financial Times - Digital Business
From ACM TechNews | March 13, 2009

1 23