I received my B.A. and M.Sc. in computer science at the Technion, Haifa. I joined the Haifa Research Lab in 2000. I am currently manager of the Processor Verification Technologies Group, in the department of Hardware Verification Technologies. For a full description of our activities, see the group home page.