Dr. Edmund M. Clarke

Title
FORE Systems University Professor of Computer Science
Organization
Carnegie Mellon University
Election Year
2005
Primary Section
05. Computer Science & Engineering
Member Type
Member
Dr. Edmund M. Clarke
Election Citation
For contributions to the formal verification of hardware and software correctness.