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.