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

Bill Gates Offers the World a Physics Lesson

It's been a year since Bill Gates left full-time work at Microsoft, but he's found plenty to keep him busy. In between trying to eradicate polio, tame malaria,Microsoft... CNet
From ACM Opinion | July 15, 2009

From ACM TechNews

Q&A: The Robot Wars Have Arrived

Brookings Institution fellow P.W. Singer says in an interview that the military's funding of robotics will have ramifications in areas that people are as yet unaware... CNet
From ACM TechNews | March 16, 2009

1 23