conf.researchr.org / Aarti Kashyap
Aarti Kashyap

Registered user since Mon 25 Mar 2019

Name:Aarti Kashyap
Country:Canada
Affiliation:University of British Columbia (UBC)
Research interests:Programming Languages, Logic, Compilers, Proof Assistants and Hardware

Contributions