Anurudh Peduri

Anurudh Peduri PhD Student

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

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

• qubrabench
  RUB, KIT. Ongoing, 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.
  Preprint. [github]

• QbC: Quantum Correctness by Construction.
  A. Peduri, Ina Schaefer, Michael Walter.
  Talk at PLanQC 2024. [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”.

Teaching

• 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