Anurudh Peduri

Anurudh Peduri
PhD Student
Tel: +49 (0)234 32-28541
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).



  • 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”.


← Back