I am a PhD student at Ruhr-Universit├Ąt Bochum, supervised by Prof. Michael Walter. I primarily explore programming language abstractions for quantum algorithms. I am broadly interested in Quantum Algorithms, Theorem Proving, Programming Languages, Type Theory, and Compilers.

Prior to this, I was a research assistant to Prof. Shantanav Chakraborty, where we worked on quantum algorithms. I did my masters and bachelors in CS at IIIT Hyderabad. For my masters thesis, I was supervised by Prof. Tobias Grosser (University of Edinburgh), and worked on compilers for quantum computing.

I intermittently write up my thoughts in my blog. If you are interested in my work, or would like to casually chat about research or CP or one of my other interests, set up a call here!

Prof. Walter has some open research positions, feel free to apply!

Research

Education & Experience