I am a Ph.D student at CSE , IIT Kanpur working under the supervision of Prof. Pramod Subramanyan.
Before joining IIT Kanpur, I was working as a software engineer at MathWorks India Bangalore office. I graduated from IIIT Bangalore with a
M.Tech degree, specialising in Computer Science under the supervision of Prof. Meenakshi D'Souza.
Areas of Interest: Formal Verification, Hardware & Software security, Cryptography
|Doctorate of Philosophy||2019 - present|
|Master of Technology
IT (Specialisation in Computer Science)
|2015 - 2017|
|Bachelor of Technology
Computer Science and Engineering
|2010 - 2014|