conf.researchr.org / Adharsh Kamath
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/
Research interests:Distributed systems, Program verification and synthesis
Contributions