conf.researchr.org / aartis kashap
Registered user since Mon 25 Mar 2019
Name:aartis kashap
Country:Canada
Affiliation:University of British Columbia
Personal website: https://aartikash.github.io/
Research interests:Verification, Systems and Security
Contributions