He attended the Technion ??? Israel Institute of Technology in Haifa while simultaneously working at IBM???s research laboratory in the city.[5] While at IBM, he was responsible for developing the Genesys system,[5] a processor verification tool that is used widely within IBM and in other companies such as Advanced Micro Devices and SGS-Thomson.[5]