Education

Coursework Highlights (Computer Science)

5-week, intensive inquiry-based summer math program for high school students. Co-taught 2-week Root curriculum in linear algebra & discrete math, and 2-week Branch curricula in origami mathematics and in persistent homology
Led hour-long exploration on reductions between Sudoku, Exact Cover, and Graph Coloring
Designed and taught one-week, “bite-sized” courses on:
- Complex Analysis
- Surreal Numbers
- Finite State Automata
- Algorithms
- Random Walks

Contribute problems & diagram illustrations to, and help proofread, the annual $F=ma$ & USAPhO physics competitions for high school students
Teach week-long mini-courses at summer training camp in olympiad-level topics, e.g.:
- Classical electromagnetism
- Experimental techniques & error propagation
- Classical mechanics
- Special relativity

Graded homework assignments & held tutoring sessions for fellow students in previously-taken courses:
- Computability & Formal Logic
- Mechanics & Wave Motion

Developed a tool that generates XML schema definition code for API protocols based on OCaml type declarations
Set up a web-based platform for searching/navigating OCaml library documentation using odoc, now used ubiquitously among OCaml developers at Bloomberg

Implemented language features & developer tooling for an internal programming language
- Syntax tree pretty-printer
- Proof-of-concept language server
- Schema-driven code-generation tool
Created an NLP-capable search platform for financial contracts

Designed and implemented additional features for tentactl, a Rust-based command-line tool for interacting with the OctoML platform API (à la GitHub’s gh tool)

Tool for browsing courses & planning schedules for students at the Claremont Colleges
Used ubiquitously by 5C students (1,000+ students according to analytics data)

Designed & implemented a statically-typed, row-polymorphic, functional programming language created for the 2020 Repl.it Programming Language Competition, combining ML/Haskell-style type-safety with Python-style versatility/accessibility

Interactive educational tool for producing diagram visualizations of mathematical knots based on their “Gauss code”