📧mail: jcxz
ORCID: 0000-0003-0830-3180
Education
University of British Columbia, Vancouver, BC, Canada
MSc. in Computer Science, present
University of British Columbia, Vancouver, BC, Canada
BSc. Combined Honours in Computer Science and Physics, May 2020
Unpublications
Practical Sized Typing in Coq, rejected from POPL 2021
Jonathan Chan, Yufeng “Michael” Li, and William J. Bowman
[Manuscript] [GitHub] [Artifact]
Practical Sized Typing in Coq, manuscript
Jonathan Chan and William J. Bowman
[arXiv]
Practical Sized Typing in Coq, rejected from CPP 2020
Jonathan Chan and William J. Bowman
[Manuscript] [GitHub] [Artifact]
Theses
Practical Sized Typing in Coq, undergraduate honours thesis
Submitted December 2019
Advisor: William J. Bowman
[Thesis] [GitHub] [Proposal]
Cool PL Things
Attended OPLSS 2021 (19th Oregon Programming Languages Summer School) in cybrespace.
Student volunteer at POPL 2021 (48th etc.) in cyberspace.
Secondary administrator and moderator (with Hazel) for types.pl (est. 23 October 2020), a small, leftist Mastodon instance for PL enthusiasts, researchers, and friends.
Student volunteer at ICFP 2020 (25th ACM SIGPLAN International Conference on Functional Programming) in cyberspace.
Student volunteer at POPL 2020 (47th ACM SIGPLAN Symposium on Principles of Programming Languages) in New Orleans, Louisiana, USA.
Attended PLISS 2019 (Second International Programming Language Implementation Summer School) in Bertinoro, Italy.
Scholarships and Awards
Canada Graduate Scholarship – Master’s, 2021
[Outline of proposed research]
The objective of the Canada Graduate Scholarships – Master’s (CGS M) program is to help develop research skills and assist in the training of highly qualified personnel by supporting students who demonstrate a high standard of achievement in undergraduate and early graduate studies.
CRA Outstanding Undergraduate Researcher Award Honourable Mention, 2020
[Research summary]
This award program recognizes undergraduate students in North American colleges and universities who show outstanding potential in an area of computing research.
Dean of Science Scholarship (UBC), 2018, 2015
The Dean of Science Scholarship honours the most promising science undergraduate students and are made on the recommendation of the Faculty.
Trek Excellence Scholarship for Continuing Students (UBC), 2018, 2016, 2015
Trek Excellence Scholarships are offered every year to students in the top 5% of their undergraduate year, faculty, and school.
Charles and Jane Banks Scholarship (UBC), 2019, 2017
Scholarships are awarded on the recommendation of the Faculty of Science, to students who have completed at least one year, and are continuing in an undergraduate program.
J. Fred Muir Memorial Scholarship in Science (UBC), 2016
The awards are offered to students in the Faculty of Science on the recommendation of the Faculty.
Golden Key International Honour Society invitation (declined), 2019, 2015
This is a scam for rich people.
Work Experience
Department of Computer Science, UBC, Vancouver, BC, Canada
Teaching Assistant (CPSC 312: Functional and Logic Programming)
January – April 2021
- Held semiweekly office hours
- Graded group projects and midterm/final exams
Department of Computer Science, UBC, Vancouver, BC, Canada
Teaching Assistant (CPSC 311: Definition of Programming Languages)
September – December 2020
- Held biweekly tutorial sessions and weekly office hours
- Graded assignments and midterm/final exams
- Helped with administering and invigilating exams
Department of Computer Science, UBC, Vancouver, BC, Canada
Teaching Assistant (CPSC 303: Numerical Approximation and Discretization)
January – April 2020
- Graded weekly assignments and held weekly office hours
Digital Health Innovation Lab, BC Children’s Hospital, Vancouver, BC, Canada
Software Programmer Co-op
May – August 2018
- Contributed to LambdaNative, an open-source cross-platform app framework written in Gambit Scheme
- Added features to LambdaNative apps RRate and ShareVitalSigns
- Cared for and nurtured the avocado seed growing on the windowsill in the lunch room
Visier Inc., Vancouver, BC, Canada
Software Developer Co-op
May – December 2017
- Improved developer tools and workflows in the Frameworks and Enablement team
- Created a proof-of-concept for migrating codebase from Mercurial to Git and designed a custom Gitflow workflow
- Incorporated automated endpoint documentation generation in Scala backend codebase
- Helped improve Angular web app compile/load times and modularity
Paragon Testing Enterprises, Vancouver, BC, Canada
Junior Software Developer and Quality Assurance Intern
January – August 2016
- Wrote a pilot test delivery application in WinForms for R&D to test and validate the design of the new CAEL computerized exam
- Refactored web app test scripts
- Participated in Paragon’s volleyball team for the Broadway Tech Centre’s volleyball tournament
Access and Diversity, UBC, Vancouver, BC, Canada
Notetaker
May – August 2015
- Took lecture and textbook notes for PSYC 309A (Cognitive Processes) and PSYC 350A (Human Sexuality)
Nikkei National Museum and Cultural Centre, Burnaby, BC, Canada
Volunteer Ambassador and Special Events Volunteer
September 2012 – June 2014
- Welcomed visitors at front desk and various administrative duties
- Helped set up and take down equipment during various special events
Burnaby Newsleader, Burnaby, BC, Canada
Paper delivery route
June 2013 – June 2014
- Delivered the local paper every Wednesday and Friday. There isn’t much to say about this. Sadly, they shut down in September of the following year :(