Computing has become highly important in everyday life during the past 75 years. In addition to its many benefits, however, it has also played a major role in driving…
Moshe Y. Vardi
An Association of the Members, by the Members, for the Members
The ACM Future of Computing Academy and social-responsibility initiatives are both very important to the future of ACM, and ACM should not give up on them.
The West has responded to Russia's invasion of Ukraine with punitive economic sanctions. In one fell swoop, the efficient, (almost) unified world of global technology…
ACM, Ethics, and Corporate Behavior
The biggest problem that computing faces today is not that AI technology is unethical, but that AI technology is used by large and powerful corporations to support a…
Technology can lead to improved education, but only if we move slow and do not break things.
The Paradox of Choice in Computing-Research Conferences
The current computing-research publication system conflates research publishing with community building. We may need in-person conferences for community building, but not…
The Sand-Heap Paradox of Privacy and Influence
In 2018, Arnold Kling wrote a famous blog article, "How the Internet turned bad." It is time for us, as a community, to ask now: "How do we turn the…
Program Verification: Vision and Reality
In 1969, Tony Hoare wrote in "An Axiomatic Basis for Computer Programming" about mathematical certainty, great reliance, and confidence. In retrospect, the hope…
Three-way conflict arises in professional societies, such as ACM, which have members, elected officials, and permanent staff. Aligning the interests of these three groups…
Today, the top seven companies in the S&P 500 index are all tech companies. Large companies wield power, and that often leads to a clash between these companies and…
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