Chandan Karfa

Chandan Karfa 

Assistant Professor
Department of Computer Science & Engineering
Indian Institute of Technology Guwahati
Guwahati - 781039
Assam, India

Research Interests

  • Formal Verification

  • High-level Synthesis

  • Hardware Security

  • Verification of Compiler Optimizations

Contact

Office: H002
Phone: +91-361-2582375
Email: ckarfa @ iitg.ac.in

  • PhD position Opening: Looking for motivated students for PhD in the areas of Formal Verification and Hardware Security. If you are interested, please drop me an email with your CV.

  • JRF Position in DST Projects: Couple of opening for JRF position in DST sponsored Projects. Please drop me an email with your CV to explore further.

Education

  • Ph.D.: Department of Computer Science and Engineering, IIT Kharagpur, 2011.

  • M.S.(by Research): Department of Computer Science and Engineering, IIT Kharagpur, 2007.

  • B.Tech.: Information Technology, University of Kalyani, West Bangal, 2004.

Experience

  • Assistant Professor, Department of CSE, IIT Guwahati, since August 2016.

  • Visiting Researcher, New York University, May - July 2019.

  • Senior R&D Engineer, Synopsys (India) Pvt. Ltd, September 2011-July 2016.