Awanish Pandey

Doctoral Student

Department of Computer Science and Engineering
Indian Institute of Technology, Kanpur

KD-106, H.R. KADIM DIWAN BUILDING
Email: awpandey [AT] cse [DOT] iitk [DOT] ac [DOT] in

Professional Summary Research

Area of Interest: Program Analysis, Verification and Debugging
Thesis Supervisor: Dr. Subhajit Roy


Publication


Course TA