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
subjectHardware
authorLeah Hoffmann
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
Inspired by the Home of the Future
From Communications of the ACM

Inspired by the Home of the Future

2018 ACM Prize in Computing recipient Shwetak Patel pushes old tools to new heights. Leah Hoffmann
From Communications of the ACM | September 1, 2019
Q&A: Systematic Thinking
From Communications of the ACM

Q&A: Systematic Thinking

Andrew S. Tanenbaum talks about MINIX, microkernels, and electronic voting systems. Leah Hoffmann
From Communications of the ACM | April 1, 2010
Sign In for Full Access
» Forgot Password? » Create an ACM Web Account