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

Many Questions For Michael Dell on Going Private, and What's Next

Michael Dell is feeling aggressive. AllThingsD
From ACM Opinion | September 25, 2013

From ACM Opinion

Seven More Questions For Sap's Co-Ceo Bill Mcdermott

The last time we heard from SAP co-CEO Bill McDermott, he talked a great deal about a then-upcoming product strategy called HANA. The idea was to move all of SAP's... AllThingsD
From ACM Opinion | January 14, 2013

From ACM Opinion

Seven Questions For IBM Fellow Bernie Meyerson

There aren’t many technology companies around who can claim to be 100 years old. You're probably hearing that a lot as media outlets report on the anniversary... AllThingsD
From ACM Opinion | June 17, 2011