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 primarily explore programming language abstractions for quantum algorithms. I usually attempt to think about
- Verifying the correctness of quantum algorithms (without the ability to run and test them).
- Analyzing the (time/space/query) costs of quantum algorithms.
- Designing abstractions for quantum data structures and frameworks to describe quantum algorithms.
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!
Current Projects
-
qubrabench: A framework to estimate quantum speedups on fault-tolerant computers.
KIT, RUB @ QuBRA. [github] -
Qᴜᴀʟᴛʀᴀɴ: A python library for expressing and analyzing Fault Tolerant Quantum algorithms.
Google Quantum AI. [github]
Papers
-
Expressing and Analyzing Quantum Algorithms with Qualtran.
Matthew P. Harrigan, Tanuj Khattar, Charles Yuan, Anurudh Peduri, Noureldin Yosri, Fionn D. Malone, Ryan Babbush, Nicholas C. Rubin.
Poster at PlanQC 2025. [arXiv:2409.04643] [github] -
QbC: Quantum Correctness by Construction.
Anurudh Peduri, Ina Schaefer, Michael Walter.
To appear at OOPSLA 2025. [Talk at PlanQC 2024] [arXiv:2307.15641] -
Quantum Regularized Least Squares.
Shantanav Chakraborty, Aditya Morolia, Anurudh Peduri.
Quantum 2023. [arXiv:2206.13143] -
QSSA: An SSA-Based IR for Quantum Computing.
Anurudh Peduri, Siddharth Bhat, Tobias Grosser.
Compiler Construction (CC) 2022. [arXiv:2109.02409] [github] [artifact]
Supervision
- Amalia Boettger, Ruhr University Bochum. [2023]
Co-supervised Master Thesis on “Variable Time Quantum Algorithms”. - Luca Witt, Ruhr University Bochum. [2023]
Co-supervised Bachelor Thesis on “Type Systems for Ammortized Resource Analysis”. - Erwin Tang, Ruhr University Bochum. [2023]
Co-supervised Bachelor Thesis on “Adversary Method in Quantum Query Complexity”
Reviewer: OOPSLA 2025, STOC 2025, QIP 2024, ICALP 2023, iFM 2023, QIP 2023
Education & Experience
- Student Researcher, Google Quantum AI, Los Angeles. [Jun. - Aug. 2024]
Hosts: Tanuj Khattar, Dr. Nicholas Rubin - PhD in Computer Science, Ruhr University Bochum. [August 2022 - present]
Advisor: Prof. Dr. Michael Walter, Prof. Dr. Gilles Barthe - Research Assistant, IIIT Hyderabad. [Jul. 2021 - Jul. 2022]
Host: Prof. Shantanav Chakraborty - Research Intern, University of Edinburgh. [Jun. 2020 - Jun. 2021]
Host: Prof. Tobias Grosser - B. Tech. & M.S. in CSE, IIIT Hyderabad. [Aug. 2015 - Apr. 2022]
Thesis: SSA-Based Compilation of Hybrid Quantum-Classical Programs
Advisors: Prof. Tobias Grosser (UoE), Dr. Kannan Srinathan (IIITH)
