I am a PhD student at the Ruhr University Bochum, supervised by Prof. Michael Walter. I am broadly interested in Quantum Algorithms, Theorem Proving, Programming Languages, Type Theory, and Compilers.
I primarily explore programming language abstractions for quantum algorithms. I usually attempt to think about
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!
[Scholar] [ORCID] [arXiv] [GitHub] [LinkedIn] [full CV]
QbC: Quantum Correctness by Construction.
Anurudh Peduri, Ina Schaefer, Michael Walter.
Under review. [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]
Reviewer: QIP 2024, ICALP 2023, iFM 2023, QIP 2023