Biography: Manish Pandey

Dr. Manish Pandey is a Fellow and VP R&D at Synopsys. He completed his PhD in Computer Science from Carnegie Mellon University and his B. Tech, in Computer Science from the Indian Institute of Technology Kharagpur. He leads the R&D teams for formal and static technologies, machine learning and distributed systems at Synopsys. Dr. Pandey is also an Adjunct Professor in the ECE department at Carnegie Mellon University, where he teaches and does research in the areas of IoT, machine learning and intelligent edge computing. He previously led the development of several static and formal verification technologies at Verplex and Cadence which are in widespread use in the industry. He has extensive experience in distributed systems and computing infrastructure, when he led the display advertising security group at Yahoo, and storage analytics systems at Nutanix.. Dr. Pandey is a recipient of the IEEE Transaction in CAD outstanding paper award, and holds over two dozen patents and publications.