Registered user since Thu 5 Aug 2021
Name:Srinidhi Nagendra
Country:France
Affiliation:IRIF, Chennai Mathematical Institute
Personal website: https://www.srinidhin.com
GitHub: https://github.com/zeu5
Research interests:Formal methods, Distributed algorithms, Blockchain
Contributions
2025
ICFP/SPLASH 2025-profile
View general profile
View general profile