January 29, 2004
The IEEE Computer Society Board of Governors has awarded its 2004 Harry M. Goode Memorial Award to Edmund Clarke Jr., Fore Systems Professor of Computer Science; Professor of ECE. He was selected "for significant and pioneering contributions to formal verification of hardware and software systems, and for the profound impact these contributions have had on the electronics industry." A list of previous recipients, including the late Professor Allen Newell, is posted at http://www.computer.org/awards/awdhg.htm.
According the IEEE's web site, "A bronze medal and $2000 are awarded by the Computer Society on the basis of achievements in the information processing field which are considered either a single contribution of theory, design, or technique of outstanding significance, or the accumulation of important contributions on theory or practice over an extended time period, the total of which represent an outstanding contribution."
Edmund Clarke Jr., Fore Systems Professor of Computer Science; Professor of ECE