POPL 2024
Sun 14 - Sat 20 January 2024 London, United Kingdom
POPL 2024 (series) / Anurudh Peduri
Anurudh Peduri

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

Show activities from other conferences

POPL 2024-profile
View general profile