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
subjectComputer Systems
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
This Is For Everyone
From Communications of the ACM

This Is For Everyone

Sir Tim Berners-Lee on the formative years of the world wide web, and the challenges it now faces. Leah Hoffmann
From Communications of the ACM | June 1, 2017
Open Source Hardware: Seven Questions For Limor Fried
From ACM News

Open Source Hardware: Seven Questions For Limor Fried

Limor Fried discusses the future of the open source hardware movement, Facebook’s decision to open source its new data center, and being featured on the cover of... Leah Hoffmann
From ACM News | May 25, 2011
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