Pallab Dasgupta
Dept. of Computer Science & Engineering,
Professor-In-Charge, Synopsys CAD Lab.

Indian Institute of Technology Kharagpur,
Kharagpur, INDIA 721302.

Phone: +91 3222 283470
Fax: +91 3222 255303



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.