ACM

Communications of the ACM

Recent Interviews

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

From ACM Opinion

Berners-Lee: We No Longer Fully nderstand the Web

World Wide Web inventor Tim Berners-Lee wants to put the Web under the microscope to investigate how it changes our behavior. He discusses the Web Science Research... New Scientist
From ACM Opinion | June 5, 2009

Recent Interviews

Verifying Correctness

Berners-Lee: We No Longer Fully ­nderstand the Web

Berners-Lee: We No Longer Fully nderstand the Web