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
Nasa's Lessons From The Outer Limits
From ACM Opinion

Nasa's Lessons From The Outer Limits

In April 1981, the National Aeronautics and Space Administration launched a space shuttle program meant to take astronauts, cargo, research experiments and military... NPR
From ACM Opinion | July 8, 2011
123
Sign In for Full Access
» Forgot Password? » Create an ACM Web Account