Pallab Dasgupta
Dept. of Computer Science & Engineering,
Professor-In-Charge, Advance-VLSI Lab.

Indian Institute of Technology Kharagpur,
Kharagpur, INDIA 721302.

B.Tech, M.Tech, and Ph.D from the Indian Institute of Technology Kharagpur.

My current research focus is on automated formal and semi-formal
techniques for verification, mainly targetted towards design verification
in VLSI CAD. We work with several companies on related areas.

My other interests include combinatorial optimization, logic, deduction and
distributed algorithms.

Links:

• Courses
• Research and Publications

• Formal verification of hardware & concurrent systems
• Heuristic search in artificial intelligence
• Distributed computing

• Honors
• Sponsored research
• Non-academic
• Pointers
  • The Formal Verification Research Group
  • Advanced VLSI Design Lab
  • Advanced VLSI Consortium