Nimisha Agarwal

Nimisha Agarwal

Supervisor: Amey Karkare

RM-404, Computer Science and Engineering Indian Institute of Technology, Kanpur. nimisha@cse.iitk.ac.in
Nimisha Agarwal photo

About me

Education

M.Tech. (Indian Institute of Technology Kanpur)

Research Interest

  • Programming Languages
  • Program Verification