Machine Learning

The Machine Learning group focuses on research and development of verification solutions, machine learning techniques, and constraints satisfaction problem (CSP) algorithms. We apply our expertise to problems in functional verification (focusing mainly on functional coverage), information retrieval, autonomic computing, anomaly detection, biological and medical mining, and workforce management. We provide solutions, tools, core technologies and services.

Shai Fine,