beta
Email: This email address is being protected from spambots. You need JavaScript enabled to view it.
Office Phone: 0512-2597231
Research Interest
Logic in Computer Science.
Homepage
Office
CS 204, Department of Computer Science and Engineering IIT Kanpur, Kanpur 208016