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.
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