Registered user since Fri 5 Jan 2024
Name:Anurudh Peduri
Affiliation:Ruhr University Bochum
Personal website: https://anurudhp.github.io/
GitHub: https://github.com/anurudhp
Research interests:Quantum Programming Languages and Logic, Quantum Algorithms, Theorem Proving, Compilers
Contributions
2025
Using general profile