Nimisha Agarwal
Supervisor: Amey Karkare
RM-404, Computer Science and Engineering Indian Institute of Technology, Kanpur. nimisha@cse.iitk.ac.in Education
M.Tech. (Indian Institute of Technology Kanpur)
Research Interest
- Programming Languages
- Program Verification