I completed my B.Sc. and M.Sc. in computer science at the Technion Institute of Technology in Haifa, Israel. Since 2002, I have been working in IBM Haifa Research Lab in the Simulation Based Verification Technologies department, developing software tools that aid hardware functional verification. Today I manage the group that develops processor oriented verification technologies. My main areas of interest are processor and system level verification, hardware architectures, and constraint satisfaction.