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.
Prof. Walter has some open research positions, feel free to apply!