Anurudh Peduri
 |
Anurudh Peduri PhD Student |
E-Mail: anurudh.peduri@rub.de WWW: anurudhp.github.io 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).
Research
- qubrabench - RUB, KIT. Ongoing, software artifact.
- QbC: Quantum Correctness by Construction.
Anurudh Peduri, Ina Schaefer, Michael Walter.
Talk at PLanQC 2024. [slides] - Quantum Regularized Least Squares.
Shantanav Chakraborty, Aditya Morolia, Anurudh 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
- 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)