SCS Faculty Awards
School of Computer Science, Carnegie Mellon University
Pittsburgh PA 15213-3891
(412)268-8525 . (412)268-5576 (fax)

Semiconductor Research Corporation Technical Excellence Award
-The Technical Excellence Award was established by the SRC as an incentive and recognition program for research of exceptional value to SRC members. Authorized by the SRC Board of Directors in December 1991, the award is intended to complement the Inventor Recognition Award. The Technical Excellence Award is shared among key contributors for innovative technology that significantly enhances the productivity/competitiveness of the semiconductor industry. To date, 52 individuals have been recognized, encompassing 19 research efforts.

  • Randal E. Bryant, Kenneth McMillan, Edmund M. Clarke, 1995

    For their work on "Formal Verification Techniques: Development of SMV Technique and Application to Formal Verification"

Return to: SCS Faculty Awards
School of Computer Science