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

Q&A with SLAC Lab Director John Sarrao

John L. Sarrao starts his tenure as the director of the U.S. Department of Energy's SLAC National Accelerator Laboratory following a 26-year career at Los Alamos... SLAC National Accelerator Laboratory
From ACM Opinion | October 5, 2023