I am a final-year PhD student at the Ruhr University Bochum, supervised by Prof. Michael Walter and Prof. Gilles Barthe. I primarily explore programming language abstractions for quantum algorithms, to verify them and analyze their complexity. I am broadly interested in Quantum Algorithms, Programming Languages and Type Theory, Compilers, and Theorem Proving.
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!
During summer 2024, I was a student researcher at Google Quantum AI, Los Angeles, and worked on the Qualtran library for resource estimation of quantum algorithms. Previously, I was an intern under Prof. Tobias Grosser at the University of Edinburgh, where I worked on quantum compilers. I am an ICPC 2020 world finalist, and was a grandmaster on codeforces.
Publications
-
QbC: Quantum Correctness by Construction.
Anurudh Peduri, Ina Schaefer, Michael Walter.
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]
Preprints & Workshop papers
-
Traq: Estimating the Quantum Cost of Classical Programs.
Anurudh Peduri, Gilles Barthe, Michael Walter.
Preprint. [arXiv:2509.01508] [github]. -
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]
Software Projects
-
traq: A haskell prototype for the Traq framework, to compute quantum cost estimates of classical programs, and compile them to low-level classical-quantum programs. [github].
-
qubrabench: A framework to estimate quantum speedups on fault-tolerant computers. [github]
-
Qᴜᴀʟᴛʀᴀɴ (Contributor): A python library for expressing and analyzing Fault Tolerant Quantum algorithms, by Google Quantum AI. [github]
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)
Reviewer: OOPSLA 2025, STOC 2025, QIP 2024, ICALP 2023, iFM 2023, QIP 2023
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.
