Dr. Edmund M. Clarke
Dr. Edmund M. Clarke Member
FORE Systems University Professor of Computer Science, Carnegie Mellon University
More Info
  • 2005
  • Computer Science & Engineering
More Info
  • 2005
  • Computer Science & Engineering
Election Citation
For contributions to the formal verification of hardware and software correctness.