Roy Emek manages the 'System Verification and Modeling' group at IBM Haifa research Lab. He joined IBM on '98, and was since then involved in various aspects of the development and deployment of random test-case generation technologies for processors and systems. His main research areas include hardware verification and constraint satisfaction.