Research Areas
Formal Methods
Supervisor Prof Indranil Saha
Education
B.tech in Information Techonology, NIT Kurukshetra
[2012 - 2016 ]
M.S. in CS, IIT Kanpur
[2017 - present]
Contact
Room Number RM-403 (CSE Extension),
Rajeev Motwani Building,
Department of Computer Science and Engineering,
Indian Institute of Technology Kanpur,
Kanpur-208016, INDIA
Email pksiwan[at]cse[dot]iitk[dot]ac[dot]in