Anurudh Peduri

E-Mail: anurudh.peduri@rub.de
WWW: anurudhp.github.io

I primarily explore programming language abstractions for quantum algorithms. To that end, I am interested in understanding quantum algorithms better through the lens of programming language theory and logic. I find the intersection between Quantum and PL quite fascinating! If you find these topics interesting, check out my personal website for more!

My PhD is funded by the BMBF project Quantum Methods and Benchmarks for Resource Allocation (QuBRA).

Research

Traq: Estimating the Quantum Cost of Classical Programs.
A. Peduri, Gilles Barthe, Michael Walter.
Preprint 2025. [github]
qubrabench
RUB, KIT. Software artifact.
Expressing and Analyzing Quantum Algorithms with Qualtran.
M. P. Harrigan, T. Khattar, C. Yuan, A. Peduri, N. Yosri, F. D. Malone, R. Babbush, N. C. Rubin.
Poster at PLanQC 2025. [github]
QbC: Quantum Correctness by Construction.
A. Peduri, Ina Schaefer, Michael Walter.
OOPSLA 2025. [slides]
Quantum Regularized Least Squares.
Shantanav Chakraborty, Aditya Morolia, A. Peduri.
Quantum 7, 988 (2023).

Co-supervision

Amalia Boettger, Ruhr University Bochum. [2023]
Master Thesis on “Variable Time Quantum Algorithms”.
Luca Witt, Ruhr University Bochum. [2023]
Bachelor Thesis on “Type Systems for Ammortized Resource Analysis”.
Erwin Tang, Ruhr University Bochum. [2024]
Bachelor Thesis on “Adversary Method in Quantum Query Complexity”.
Glenn Hannig, Ruhr University Bochum. [2025]
Bachelor Thesis on “The Rust Programming Language”.

Teaching

TA: Course - Quantum Information and Computation (Winter 2025/26)
TA: Seminar - Modern Programming Languages (Winter 2024/25)
TA: Course - Advanced Quantum Information and Computation (Summer 2024)
Volunteer: Quantum Quest 2023
TA: Course - Quantum Information and Computation (Winter 2023/24)
TA: Course - Quantum Information and Computation (Winter 2022/23)
TA: Seminar - Modern Programming Languages (Winter 2022/23)

← Back