Published around 230 research papers (92 journal articles, 137 conference papers), supervised over 20 PhD students, and holds 2 US patents. Received numerous national and personal awards, including Fellow of the Indian Academy of Science and Fellow of the Indian National Academy of Engineering.
Research Experience
Held various professorial positions at IIT Kharagpur since 1995, including Assistant Professor, Associate Professor, and Professor, along with administrative roles such as Dean of Sponsored Research and Industrial Consultancy. Involved in industry-sponsored research projects funded by Intel, Synopsys, IBM, Qualcomm, Google, and others.
Education
Ph.D. in Computer Science & Engineering from Indian Institute of Technology Kharagpur in 1995; M.Tech in the same field from IIT Kharagpur in 1992 (GPA 9.6/10.0); B.Tech in the same field from IIT Kharagpur in 1990 (GPA 9.98/10.0).
Background
Research Interests: Formal Methods, Trusted AI, Electronic Design Automation. Currently serving as Head of Research and Innovation at Synopsys Inc. (Formal Verification).