Projects

2026

  • College Application Narratives

    View Project

    A college application resource based on authentic narratives. Read more here

2025

  • Formalizing “Projective Geometry”

    View Project

    Formalization of the book “Projective Geometry” by Coxeter using Isabelle, a HOL theorem prover. Part of coursework for CSCI 1951Y at Brown University.

  • The Met High School App Scripts

    View Project

    A collection of Google App Scripts developed to automate admin workflow for The Met High School.

  • Solving Junqi with DRL

    View Project

    A simple Junqi bot built using DRL. Part of coursework for CSCI 1470 at Brown University.