Justice “JJ” James [pdf]

I like general mathematics, [programming/_] language theory, and Taylor Swift.


University of British Columbia September 2021 - April 2025 [expected]

Skills & Interests


ICFP 2023: International Conference for Functional Programming

September 2023

PLDI 2023: Programming Language Design & Implementation Conference

June 2023

Relevant Coursework

CPSC 539b: Dependent Types [no credit]

Fall 2023 (current)

CPSC 539b: Implementing Type Systems [no credit]

Spring 2023

CPSC 421: Introduction to the Theory of Computing [no credit]

Fall 2022

CPSC 311 Reading Group: Introduction to Interpreters [no credit]

Fall 2022

CPSC 411: Introduction to Compiler Construction [no credit]

Spring 2022


Hashbot [Rust]: spam protection for Discord servers

July 2023 - September 2023


Maple Bacon: a competitive cybersecurity Capture the Flag (CTF) team

September 2021 - Present

SaplingCTF, MapleCTF, and CursedCTF: cybersecurity competitions

Various dates, 2022 & 2023

UBC Bionics: engineering design team building a bionic arm

September 2021 - June 2022

Spartronics 4915: a high-school FIRST robotics team

September 2017 - June 2021

Relevant Projects

apus [Java] and bamboo [Nim]: a pair of web browsers from scratch

chrysanthemum [Rust]: a simple language with a complex type system

nim-uxn [Nim]: a macro-full implementation of an abstract stack machine

athena [Java]: a modular codebase for a competitive FIRST Robotics Competition robot

additional projects