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

John Hennessy, Chairman of Alphabet, on Smart Risks, Employee Activism, and the Dangers of Short-Term Thinking

Last week, Alphabet chair and former Stanford University president John Hennessy joined former Yahoo CEO Marissa Mayer on the stage of the Computer History Museum... IEEE Spectrum
From ACM Opinion | September 24, 2018

From ACM Opinion

Intel Execs Address the AI Talent Shortage, AI Education, and the 'Cool' Factor

Last week, I sat down with Intel's Gadi Singer, vice president and general manager of artificial intelligence architecture, and Chris Rice, head of AI talent acquisition... IEEE Spectrum
From ACM Opinion | September 13, 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