conf.researchr.org / Jasper Geer
Registered user since Tue 26 Aug 2025
Name:Jasper Geer
Country:Canada
Affiliation:University of British Columbia
Personal website: https://www.jaspergeer.com/
Research interests:Programming Languages, Program Logics, Verification
Contributions