acm-header
Sign In

Communications of the ACM

Recent Interviews

Articles Interviews Vardi's Insights Chien's Vantage Opinion Archive Refine your search:
dateMore Than a Year Ago
subjectLegal Aspects
authorIEEE Spectrum
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
Darpa Plans a Major Remake of ­.S. Electronics
From ACM Opinion

Darpa Plans a Major Remake of ­.S. Electronics

The U.S. Defense Advanced Research Projects Agency is launching a huge expansion of its Electronics Resurgence Initiative, boosting the program to US $1.5 billion... IEEE Spectrum
From ACM Opinion | July 17, 2018
Why Fully Autonomous Robot Cars Hail from the 20th Century
From ACM Opinion

Why Fully Autonomous Robot Cars Hail from the 20th Century

A vision of fully autonomous, self-driving cars allowing human owners to nap or read in the car seems to come from the future. IEEE Spectrum
From ACM Opinion | October 27, 2015
Sign In for Full Access
» Forgot Password? » Create an ACM Web Account