Curriculum Vitæ

📧mail: jcxz@
ORCID: 0000-0003-0830-3180

Education

University of Pennsylvania, Philadelphia, PA, USA
PhD in Computer and Information Science, ongoing

University of British Columbia, Vancouver, BC, Canada
MSc. in Computer Science, November 2022
Advisor: William J. Bowman
Sized Dependent Types via Extensional Type Theory
[Thesis] [GitHub] [Slides]

BibTeX
@mastersthesis{STT,
  author = {Chan, Jonathan},
  title = {{Sized Dependent Types via Extensional Type Theory}},
  school = {University of British Columbia},
  address = {Vancouver, BC, Canada},
  url = {https://open.library.ubc.ca/soa/cIRcle/collections/ubctheses/24/items/1.0416401},
  doi = {10.14288/1.0416401},
  year = {2022},
  month = jul,
  key = {STT}
}

University of British Columbia, Vancouver, BC, Canada
BSc. Combined Honours in Computer Science and Physics, May 2020
Advisor: William J. Bowman
Practical Sized Typing for Coq
[Thesis] [GitHub] [Proposal]

BibTeX
@mastersthesis{PSTC,
  author = {Chan, Jonathan},
  title = {{Practical Sized Typing for Coq}},
  school = {University of British Columbia},
  address = {Vancouver, BC, Canada},
  url = {https://open.library.ubc.ca/collections/undergraduateresearch/52966/items/1.0406074},
  doi = {10.14288/1.0406074},
  year = {2019},
  month = dec,
  type = {Bachelor's thesis},
  key = {PSTC}
}

Drafts and Publications

Is Sized Typing for Coq Practical?
Jonathan Chan, Yufeng (Michael) Li, and William J. Bowman
Submitted to the Journal of Functional Programming in December 2021
[arXiv] [GitHub] [Artifact]

BibTeX
@misc{ISTCP,
  author = {Chan, Jonathan and Li, Yufeng (Michael) and Bowman, William J.},
  title = {{Is Sized Typing for Coq Practical?}},
  url = {https://arxiv.org/abs/1912.05601},
  doi = {10.48550/arXiv.1912.05601},
  year = {2019},
  month = dec,
  key = {ISTCP}
}

Towards a Syntactic Model of Sized Dependent Types
Jonathan Chan
3rd place finalist at the Student Research Competition @ POPL 2022
[Abstract] [Video + Slides] [Slides (draft)]

BibTeX
@misc{SRC,
  title = {{Towards a Syntactic Model of Sized Dependent Types}},
  author = {Chan, Jonathan},
  url = {https://popl22.sigplan.org/details/POPL-2022-student-research-competition/1/Towards-a-Syntactic-Model-of-Sized-Dependent-Types},
  year = {2022},
  month = jan,
  key = {SRC}
}

Nonpublications

Silence of the Vowels, presented at the UDLS @ UBC
[Abstract] [Slides]

Practical Sized Typing for Coq, rejected from POPL 2021
Jonathan Chan, Yufeng “Michael” Li, and William J. Bowman
[Manuscript] [GitHub] [Artifact]

Practical Sized Typing for Coq, rejected from CPP 2020
Jonathan Chan and William J. Bowman
[Manuscript] [GitHub] [Artifact]

Schools and Conferences

Scholarships and Awards

George M. Ball, Jr. Fellowship (UPenn), 2022
Donor-named fellowships like these provide a one-time $3,000 award, which will be offered to you in the middle of your first semester upon enrollment. This honor and award is in recognition of your outstanding academic accomplishments and research potential.

British Columbia Graduate Scholarship (declined) (UBC), 2022
The province of British Columbia has funded BC Graduate Scholarships (BCGS) in any field of study, with emphasis on research in science, technology, engineering and mathematics (STEM) fields, and support for Indigenous students. The scholarships of $15,000 will be awarded by graduate programs and disciplinary Faculties.

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 311: Definition of Programming Languages)
September – December 2021

Department of Computer Science, UBC, Vancouver, BC, Canada
Teaching Assistant (CPSC 312: Functional and Logic Programming)
January – April 2021

Department of Computer Science, UBC, Vancouver, BC, Canada
Teaching Assistant (CPSC 311: Definition of Programming Languages)
September – December 2020

Department of Computer Science, UBC, Vancouver, BC, Canada
Teaching Assistant (CPSC 303: Numerical Approximation and Discretization)
January – April 2020

types.pl, Mastodon instance
Secondary Administrator and Moderator (with Hazel)
23 October 2020 – present

Digital Health Innovation Lab, BC Children’s Hospital, Vancouver, BC, Canada
Software Programmer Co-op
May – August 2018

Visier Inc., Vancouver, BC, Canada
Software Developer Co-op
May – December 2017

Paragon Testing Enterprises, Vancouver, BC, Canada
Junior Software Developer and Quality Assurance Intern
January – August 2016

Access and Diversity, UBC, Vancouver, BC, Canada
Notetaker
May – August 2015

Nikkei National Museum and Cultural Centre, Burnaby, BC, Canada
Volunteer Ambassador and Special Events Volunteer
September 2012 – June 2014

Burnaby Newsleader, Burnaby, BC, Canada
Paper delivery route
June 2013 – June 2014