conf.researchr.org / Anurudh Peduri
![Anurudh Peduri](https://conf.researchr.org/getProfileImage/anurudhpeduri/ea03e14c-d6f5-492d-a344-9d8b9937dbf2/small.jpg?1711572104000)
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