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

Jeff Hawkins on Why His Approach to AI Will Become the Approach to AI

In an interview, Numenta founder Jeff Hawkins says he expects his vision of brain-inspired artificial intelligence (AI) to win out over other approaches. He says... GigaOm.com
From ACM TechNews | September 29, 2014

From ACM Opinion

dacity Founder: Moocs Can Help the Economy, Even If They Can't Replace College

Sebastian Thrun was instrumental in building Google's self-driving car and Glass projects, and helped launch the company's Google X wing to spearhead "moonshot"... GigaOm
From ACM Opinion | January 28, 2014

Recent Interviews

Verifying Correctness

Jeff Hawkins on Why His Approach to AI Will Become the Approach to AI

­dacity Founder: Moocs Can Help the Economy, Even If They Can't Replace College

dacity Founder: Moocs Can Help the Economy, Even If They Can't Replace College