acm-header
Sign In

Communications of the ACM

Recent Interviews

Articles Interviews Vardi's Insights Chien's Vantage Opinion Archive Refine your search:
subjectHuman Computer Interaction
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: The Networker
From Communications of the ACM

Q&A: The Networker

Jon Kleinberg talks about algorithms, information flow, and the connections between Web search and social networks. Leah Hoffmann
From Communications of the ACM | October 1, 2009
Q&A: A Complex Thinker
From Communications of the ACM

Q&A: A Complex Thinker

Daphne Koller discusses probabilistic relational modeling, artificial intelligence, and her new work with biologists. Leah Hoffmann
From Communications of the ACM | October 1, 2008
Sign In for Full Access
» Forgot Password? » Create an ACM Web Account