I am a PhD student at the Ruhr University Bochum, supervised by Prof. Michael Walter. I am broadly interested in Quantum Algorithms, Theorem Proving, Programming Languages, Type Theory, and Compilers.

I am actively looking for industry jobs (starting Feb 2026), focussed on one or more of: quantum software, functional programming, and compilers. See my latest resume here. If you know any opportunity, please reach out to me!

I primarily explore programming language abstractions for quantum algorithms. I usually attempt to think about

  1. Verifying the correctness of quantum algorithms (without the ability to run and test them).
  2. Analyzing the (time/space/query) costs of quantum algorithms.
  3. Designing abstractions for quantum data structures and frameworks to describe quantum algorithms.

Previously, I was an intern under Prof. Tobias Grosser at the University of Edinburgh, where I worked on compilers for quantum. I was also a research assistant with Prof. Shantanav Chakraborty at IIIT-H, working on quantum algorithms for linear regression problems. I am an ICPC 2020 world finalist, and was a grandmaster on codeforces.

Publications

Preprints & Workshop papers

Software Projects

Education & Experience

Reviewer: OOPSLA 2025, STOC 2025, QIP 2024, ICALP 2023, iFM 2023, QIP 2023

Supervision

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! My wife is an ML engineer at Bloomberg AI.