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
Decoding the Remarkable Algorithms of Ants
From ACM Opinion

Decoding the Remarkable Algorithms of Ants

Ants are capable of remarkable feats of coordination. Quanta Magazine
From ACM Opinion | July 23, 2015
Sign In for Full Access
» Forgot Password? » Create an ACM Web Account