Justice “JJ” James [pdf]

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

Education


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

Skills & Interests


Work & Volunteering


Hashbot [Rust]: spam protection for Discord servers

July 2023 - October 2023

ICFP 2023: International Conference for Functional Programming

September 2023

PLDI 2023: Programming Language Design & Implementation Conference

June 2023

Relevant Coursework


CPSC 539b: Dependent Types

Fall 2023 (current)

CPSC 539b: Implementing Type Systems

Spring 2023

CPSC 421: Introduction to the Theory of Computing

Fall 2022

CPSC 311 Reading Group: Introduction to Interpreters

Fall 2022

CPSC 411: Introduction to Compiler Construction

Spring 2022

Experience


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

September 2021 - Present

SaplingCTF and MapleCTF: cybersecurity competitions

February & September 2022 & 2023

CursedCTF: a satirical (but actual) CTF competition

April 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

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