Yael Tauman Kalai on her career, proof systems, and certifying correctness.
Leah Hoffmann
Author Archives
Achievement in Microarchitecture
David Papworth, a 30-year veteran of Intel, on what led to the P6 microprocessor and how that changed the microarchitectural paradigm.
2023-2024 ACM Athena Lecturer Margo Seltzer recalls the motivations behind the development of the Berkeley DB database software library, and other achievements during her…
How Many Ways Can You Teach a Robot?
ACM Prize recipient Pieter Abbeel is working to help robots learn, and learn to improve.
Bob Metcalfe, who co-invented Ethernet networking technology, continues to take on new challenges as a computational engineer.
Considering the Impact of Technology on Society
Moshe Vardi on having the difficult conversation about technology and social responsibility.
Finding an Alternate Way Forward with AI
Former Googlers Timnit Gebru and Alex Hanna are thinking about outcomes at their Distributed AI Research Institute.
Advancing the Ability of Robots to Help
ACM Athena Lecturer Ayanna Howard considers the benefits of robotics and the potential drawbacks of overtrust.
Learning New Things and Avoiding Obstacles
ACM A.M. Turing Award recipient Jack Dongarra never intended to work with computers.
Mining Energy from ‘Empty’ Air
Shyam Gollakota on the benefits of reducing the power consumption of communication and tapping ambient signals for electricity.
Shape the Future of Computing
ACM encourages its members to take a direct hand in shaping the future of the association. There are more ways than ever to get involved.
Get Involved