Pankaj Kumar Kalita

Pankaj Kumar Kalita 

Ph.D in Computer Science and Engineering
Department of Computer Science & Engineering
Indian Institute of Technology Kanpur
Kanpur - 208016
Uttar Pradesh, India
Email: [firstNameFirstLetter + lastName]@cse.iitk.ac.in

Research Interests

Publication

Education

2019-Present Ph.D, Computer Science and Engineering, Indian Institute of Technology, Kanpur.
Supervisor Dr. Subhajit Roy


2016-2018 M.Tech., Computer Science and Engineering, Indian Institute of Technology, Guwahati.
Thesis Inverse Operation Detection and Counter Example Generation during Path Based Equivalence Checking.
Supervisor Dr. Chandan Karfa


2012-2016 B.Tech., Computer Science and Engineering, North Eastern Regional Institute of Science and Technology (NERIST), Arunachal Pradesh.


2012 12th, Jawahar Navodaya Vidyalaya, Morigaon, Assam.


2010 10th, Jawahar Navodaya Vidyalaya, Morigaon, Assam.