Sign In

Communications of the ACM

Recent Opinion



Formal Methods as a Path to Better Cybersecurity
From ACM Opinion

Formal Methods as a Path to Better Cybersecurity

Any piece of software should be able to provide the desired features, and when errors do occur, the software should handle them gracefully.

AI Authorship?
From Communications of the ACM

AI Authorship?

Considering the role of humans in copyright protection of outputs produced by artificial intelligence.
Sign In for Full Access
» Forgot Password? » Create an ACM Web Account