I am a Masters student in Computer Science at CSTAR, IIIT Hyderabad, supervised by Prof. Kannan Srinathan. I am currently working on Compilers Research in collaboration with Prof. Tobias Grosser from the University of Edinburgh. My other research interests are Quantum Computing, Cryptography, Formal Verification and Automated Theorem Proving.

I intermittently write up my thoughts in my blog.

Research