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
subjectEducation
authorAllThingsD
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
Apple Has More Game-Changing Tech in the Works, Says Ceo Tim Cook
From ACM Opinion

Apple Has More Game-Changing Tech in the Works, Says Ceo Tim Cook

Last year, Apple CEO Tim Cook spent a lot of time answering questions about how Apple would be different from what it was under Steve Jobs, and just how he would... AllThingsD
From ACM Opinion | May 30, 2013
Sign In for Full Access
» Forgot Password? » Create an ACM Web Account