Kamalesh Ghosh

Ph. D. Student

Supervisor: Prof. Pallab Dasgupta

Department of Computer Science and Engineering,

IIT Kharagpur

+91 9333364634 (mobile)

+91 3222 281431 (lab)

kamalesh.ghosh.iitkgp (@gmail)

Research Interests:

Formal Verification, Artificial Intelligence, Algorithms.



Education:

2009 – Present

Pursuing Ph.D., Dept . Of Computer Science and Engineering, IIT Kharagpur

1994 - 1998

B.Tech (Hons) in Computer Science and Engineering, IIT Kharagpur

1992 - 1994

Intermediate in Science (Higher Secondary), St. Xavier's College Ranchi.



Work Experience:

Dec 2007 – Present

Research Consultant, Dept of Computer Science and Engg., IIT Kharagpur

Nov 2004 – Nov 2007

Jan 2001– Oct 2004

Senior R&D Engr., Synopsys India Pvt. Ltd. Bangalore

Senior R&D Engr., Synopsys Inc. Marlborough.

Jun 1999 – Dec 2000

Senior Software Enggr., Delsoft India Pvt. Ltd. Noida, India

July 1998–April 1999

Software Enggr., Wipro Infotech Ltd. Bangalore, India