• IEEE Outstanding Contribution for the development of IEEE Standard 1850TM-2010 for Property Specification Language (PSL), July, 2010
• Lady Davis Postdoctoral Fellowship for year 2008
• Lady Davis Postdoctoral Fellowship for year 2007
• IEEE Contribution Award for the development of IEEE 1850TM-2005 Standard for Property Specification Language (PSL), October 2005
• IBM Ph.D. Fellowship Award for year 2004
• IBM Ph.D. Fellowship Award for year 2003
• Israeli Council of Higher Education Scholarship for outstanding high-tech Ph.D. students (declined)
Industry Awards
• Exceptional Contribution Award to Assertion Projects for Static Engines, Synopsys, October 2012
• Supplemental Outstanding Technical Achievement Award, in appreciation for The PSL/Sugar Standard - Fulfillment and Impact, IBM, December 2005
• Outstanding Technical Achievement Award, in appreciation for formulation of the Sugar specification language and its selection as an industry standard, IBM, July 2002
Patents
• U.Patent 9,390,282 entitled Formal Verification of Temporal Properties expressed using Local Variables, July 12, 2016
• U.Patent 6,715,107 entitled Method and system for reducing the state-space to include only
environmental behaviors defined succinctly by the user as being of interest, March 30, 2004
|
