His research addresses systems security concerns using formal methods. He obtained his Ph.D. from the Department of Electrical Engineering at Princeton University under the guidance of Prof. Sharad Malik. Prior to joining Princeton, Pramod obtained an M.Sc. (Engg.) degree from the Indian Institute of Science and a B.E. degree from the R. V. College of Engineering, Bangalore. Before entering academia for his doctoral studies, Pramod was a software engineer at National Instruments and a hardware design engineer at AMD.