Yoav Katz completed his B.Sc. and M.Sc. in computer science at the Technion Institute of Technology in Haifa, Israel. His thesis was on the subject of approximation algorithms for batch scheduling. Since 2002, he has been working in IBM Haifa Research Lab in the Software and Verification Technologies department. The department specializes in developing software tools that aid hardware functional verification. Today he serves as a project lead of team which develops X-Gen, a system level random stimuli generator.
His main areas of interest are system level verification, hardware architectures, and constraint satisfaction.