acm-header
Sign In

Communications of the ACM

Recent Interviews

Articles Interviews Vardi's Insights Chien's Vantage Opinion Archive Refine your search:
dateMore Than a Year Ago
subjectPersonal Computing
authorQuanta Magazine
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
The Computer Scientist Who Is Boosting Privacy on the Internet
From ACM Opinion

The Computer Scientist Who Is Boosting Privacy on the Internet

Harry Halpin has helped create a new kind of network that might enable more private Internet conversations. Quanta Magazine
From ACM Opinion | October 21, 2022
Sign In for Full Access
» Forgot Password? » Create an ACM Web Account