Yehuda Naveh  Yehuda Naveh photo       

contact information

Hardware Verification Technologies
Haifa Research Lab, Haifa, Israel



Yehuda leads the Octopus activity at IBM Haifa Research Lab (HRL), which is focused on research and application of constraint satisfaction technology. His current interests are theory and practice of constraint programming, and theory and practice of workforce management. Constraint satisfaction is the subfield of artificial intelligence which deals with finding a best practical solution under a list of constraints and prioritizations. The uniqueness of the field is in that the constraints and the prioritization criteria need not be specified in a formal mathematical manner, but rather in the natural language stemming from the problem in question. This allows a simple specification of the problem, and also best captures the real intention of the user. It is the method of choice when constraints are highly complex, or when it is meaningless to express priorities as pure costs. Workforce management is one important area where both of these criteria hold. Constraint solvers apply rigorous mathematics to the naturally-specified problem, and find a solution satisfying the constraints and priorities. HRL develops and maintains two state-of-the-art constraint solvers, and is the IBM center for constraint satisfaction. Yehuda joined IBM as a Research Staff Member on September 2000. He holds a B.Sc. degree in Physics and Math, M.Sc. degree in experimental physics, and Ph.D. degree in theoretical physics, all from the Hebrew University of Jerusalem. Before joining IBM he spent four years at SUNY Stony Brook as a post-doctoral research fellow. He is the co-author of dozens of peer-reviewed research papers, and the co-inventor of eight patented and patent-pending ideas. Enter HTML or plain text separated by paragraph tags as shown here.