Edmund Melson Clarke, Jr., a celebrated American academic who developed methods for mathematically proving the correctness of computer systems, died on December 22, 2020 at the age of 75 from complications of COVID-19.
Eugene H. Spafford
Advertisement
Frances E. Allen was the first woman recipient of the ACM A.M. Turing Award.
The Case for Disappearing Cyber Security
A proposal for keeping cyber security both out of sight and out of mind for end users.
Some of the most perplexing and frustrating experiences that technologists have are with politics and social policy. One that is currently playing out involves encryption, and what (if anything) should be done to regulate it.
Computing professionals sometimes find policy issues ill-defined, confusing, or irrelevant. Perhaps that is why — to date — policy participation has been limited within our community.
Answering the Wrong Questions Is No Answer
Asking the wrong questions when building and deploying systems results in systems that cannot be sufficiently protected against the threats they face.
ACM members have a professional duty to ensure that the public comprehends and benefits from advances in computing.
Not every important problem can be solved through science and technology, but that doesn't mean they shouldn't be addressed.
Pfires: a Policy Framework For Information Security
Creating and maintaining effective security strategy and policy for software applications.
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