acm-header
Sign In

Communications of the ACM

Recent Interviews

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
Ulterior Motives
From Communications of the ACM

Ulterior Motives

2023-2024 ACM Athena Lecturer Margo Seltzer recalls the motivations behind the development of the Berkeley DB database software library, and other achievements... Leah Hoffmann
From Communications of the ACM | December 1, 2023
Q&A: A Sure Thing
From Communications of the ACM

Q&A: A Sure Thing

Artificial intelligence pioneer Judea Pearl discusses probability, causation, the calculus of intervention, and counterfactuals. Leah Hoffmann
From Communications of the ACM | June 1, 2012
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