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 Test Generation Technologies Group, in the department of Verification and Quality Technologies. For a full description of our activities, see the group home page.