acm-header
Sign In

Communications of the ACM

News


Latest News News Archive Refine your search:
subjectComputer Systems
authorEugene H. Spafford
bg-corner

An edited collection of advanced computing news from Communications of the ACM, ACM TechNews, other ACM resources, and news sites around the Web.


Edmund M. Clarke (1945–2020)
From Communications of the ACM

Edmund M. Clarke (1945–2020)

Edmund Melson Clarke, Jr., a celebrated American academic who developed methods for mathematically proving the correctness of computer systems, died on December...
Sign In for Full Access
» Forgot Password? » Create an ACM Web Account