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 Careers

Mow Yard. Drop Off Kids. Take a Drive on Mars.

Matt Heverly, 36, started a recent workday as any young father might: up at 5:30, gulping coffee, fixing a bottle for the baby. The New York Times
From ACM Careers | September 10, 2012

From ACM Opinion

Jaron Lanier, a partner architect at Microsoft Research, has had a long and varied career in technology. Mr. Lanier popularized the term "virtual reality" in... The New York Times
From ACM Opinion | May 23, 2011

1 23

Recent Interviews

Verifying Correctness

Mow Yard. Drop Off Kids. Take a Drive on Mars.

One on One: Jaron Lanier