conf.researchr.org / aartis kashap
![aartis kashap](https://conf.researchr.org/getProfileImage/aartikashyap/3ec69d73-b49b-4e2b-b657-08ce40bdbbb6/small.jpg?1711862441000)
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