conf.researchr.org / Shriya Thakur
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
GitHub: https://github.com/SmoothThunk
Research interests:Type Theory, Formal Verification of Cryptographic Protocols
Contributions