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 Opinion

Werner Herzog Talks Virtual Reality

"I'm a skeptic of 3-D, but when I saw the paintings I knew I had to use it," Werner Herzog told Judith Thurman in 2010, after the New York première of his documentary... The New Yorker
From ACM Opinion | January 13, 2016

From ACM Opinion

"we're at Greater Risk": General Keith Alexander

Since Edward Snowden's revelations about government surveillence, we know more about how the National Security Agency has been interpreting Section 215 of the Patriot... The New Yorker
From ACM Opinion | May 16, 2014

From ACM Opinion

Starman

It was a mild October day in Hollywood, but a trace of artificial snow remained on the ground as Neil deGrasse Tyson, the director of the Hayden Planetarium, at... The New Yorker
From ACM Opinion | February 19, 2014