Registered user since Wed 9 Nov 2022
Name:Shriya Thakur
Country:United States
Affiliation:University of Massachusetts Lowell
Personal website: https://smooththunk.github.io/shriyathakur/index.html
GitHub: https://github.com/SmoothThunk
Research interests:Type Theory, Formal Verification of Cryptographic Protocols, Zero Knowledge Proofs
Contributions
ICFP/SPLASH 2025-profile
View general profile
View general profile