Dr. Pandey in an Adjunct Professor in the ECE Department at Carnegie Mellon University where his research interests range broadly across embedded systems, intelligent edge computing, system architecture for machine learning, and natural language processing. Dr. Pandey is also a Fellow/VP R&D at Synopsys, where leads the Machine Learning and Formal Verification engineering teams. Dr. Pandey has extensive experience in machine learning, distributed systems and infrastructure, and he previously led storage analytics systems at Nutanix, and display ad targeting and security groups at Yahoo!. He previously led the development of several formal verification technologies at Verplex and Cadence which are in widespread use in the industry. Dr. Pandey has been the recipient of the IEEE Transaction in CAD Outstanding author award, and holds over two dozen patents and refereed publications. He completed his Ph.D. in Computer Science from Carnegie Mellon University and a B.S. in Computer Science from the Indian Institute of Technology Kharagpur.
Ph.D., Computer Science, Carnegie Mellon University
B.S., Computer Science, Indian Institute of Technology, Kharagpur