Dept. of Computer Science & Engineering,
Professor-In-Charge, Synopsys CAD Lab.
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