Dr. Edmund M. Clarke
1945-2020
Dr. Edmund M. Clarke Member
FORE Systems University Professor of Computer Science, Carnegie Mellon University
More Info
  • 2005
  • Computer Science and Engineering
More Info
  • 2005
  • Computer Science and Engineering
Memorial Tribute

BY RANDAL E. BRYANT

EDMUND MELSON CLARKE JR., formerly the FORE Systems University Professor of Computer Science at Carnegie Mellon University and cowinner of the 2007 ACM Turing Award, died December 22, 2020, of covid-19, after a long illness. He ...

Read More
Election Citation
For contributions to the formal verification of hardware and software correctness.