Malay Ganai

Malay Ganai is a scientist in the Synopsys EDA Group, where he is involved in next-generation coverage closure and debugging techniques combining machine learning and constraint solvers. He is the principal architect of innovative intelligent coverage optimization (ICO) technology that drives verification efficiency and productivity with AI/ML. Malay received his B.Tech in electrical engineering from IIT Kanpur in India and his M.S. degree and Ph.D. in electrical and computer engineering from the University of Texas at Austin.