acm-header
Sign In

Communications of the ACM

Recent Interviews

bg-corner
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
Seven Questions For IBM Fellow Bernie Meyerson
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
Sign In for Full Access
» Forgot Password? » Create an ACM Web Account