|
Kamalesh GhoshPh. 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 |