Cindy Eisner

Senior Technical Staff Member

Research lab: Haifa Research Lab

I am a Senior Technical Staff Member at the IBM Haifa Research Laboratory, where I have been a member of the Formal Verification and Testing Technologies Department since 1994. I am interested in formal specification and verification and their applications to hardware and software development, as well as applications of formal techniques to problems of low power design and verification. I was an active participant in the Formal Verification Technical Committee of the Accellera EDA standards organization, which selected IBM's Sugar specification language for IEEE standardization. Sugar forms the basis of the Accellera standard property specification language PSL upon which the European Commission project PROSYD was based. I continue to contribute to the language as a member of the IEEE P1850 Working Group.

Cindy's CV
Attached file: cv_august_2008.pdf

Last updated 26 Jan 2009