Pallab Dasgupta
Scholar

Pallab Dasgupta

Google Scholar ID: Pw4jS9sAAAAJ
Indian Institute of Technology Kharagpur
Formal MethodsDesign AutomationArtificial Intelligence
Citations & Impact
All-time
Citations
919
 
H-index
15
 
i10-index
22
 
Publications
20
 
Co-authors
37
list available
Contact
Resume (English only)
Academic Achievements
  • 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).