conf.researchr.org / Adharsh Kamath
Registered user since Sun 8 Nov 2020
Name:Adharsh Kamath
Country:India
Affiliation:Microsoft Research
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