Registered user since Sun 8 Nov 2020
Name:Adharsh Kamath
Country:India
Affiliation:National Institute of Technology Karnataka, Surathkal, India
Personal website: https://adharshkamath.github.io/
X (Twitter): https://x.com/adharshkamath
GitHub: https://github.com/adharshkamath
Research interests:Distributed systems, Program verification and synthesis
Contributions
ICFP 2021-profile
View general profile
View general profile