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

Darpa Plans a Major Remake of .S. Electronics

The U.S. Defense Advanced Research Projects Agency is launching a huge expansion of its Electronics Resurgence Initiative, boosting the program to US $1.5 billion... IEEE Spectrum
From ACM Opinion | July 17, 2018

From ACM Opinion

Astro Teller, Captain of Moonshots at X, on the Future of Ai, Robots, and Coffeemakers

Astro Teller has an unusual way of starting a new project: He tries to kill it. IEEE Spectrum
From ACM Opinion | December 20, 2016

Recent Interviews

Verifying Correctness

Darpa Plans a Major Remake of ­.S. Electronics

Astro Teller, Captain of Moonshots at X, on the Future of Ai, Robots, and Coffeemakers

Darpa Plans a Major Remake of .S. Electronics