AWARDS

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

 

 

 

 




Fisman on the fly.



Yet another Fisman.