Fourteen years of experience in AI and machine learning (Indian Space Research Organization, Tata Institute of Fundamental Research, HP Labs, Yahoo Research, and Rensselaer AI & Reasoning Laboratory.) Multiple patents and publications.
Available for consulting in and around formal systems, formal verification and theorem proving.