IBM Research
Cindy Eisner

Cindy Eisner

IBM Haifa Research Laboratory
Haifa University Campus
Mount Carmel
Haifa 31905 ISRAEL
Phone: (+972)4-8296266

I am a Research 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. Most recently, I have been 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. I continue to contribute to the language as a member of the IEEE P1850 Working Group and through my work on the European Commission project PROSYD.

Privacy Legal Contact IBM IBM Research Research Sites Page Contact