About
I'm a 4A student at the University of Waterloo pursuing a double major in Pure Mathematics and Computer Science.
Course Notes
Projects
- SAT Sudoku Solver — C++ Sudoku solver using SAT encoding, MiniSAT, and benchmark comparisons between minimal and extended CNF formulations.
- WLP4 Compiler — Standalone C++20 compiler for a small C-like language with scanning, SLR parsing, semantic analysis, and MIPS code generation.
- GPT From Scratch — Educational Python implementation covering tokenization, embeddings, attention, pretraining, generation, and fine-tuning.
- Moodify — AI-powered journaling platform built with TypeScript, Next.js, and OpenAI for reflection and personalized insights.
- UniConnect — JavaScript application that connects university students to a common study area based on their tastes and preferences.
- Chess — C++ chess game with text and graphical displays, customizable modes, and AI opponents.
- Roboadvisor — Python portfolio optimizer that selects stocks by correlation and volatility.
Research
Iteration of Linear Differential Operators
A University of Waterloo Directed Research Program project with Jake Edmonstone, mentored by Paul Cusson.