Courses.
CS and math courses in bold.
Stanford University
M.S. in Computer ScienceSep 2024 – Dec 2025
Autumn 2025
- CS 144
- CS 240Advanced Topics in Operating Systems (opens in a new tab)
- Wrote a user-level threads library in C and x86-64 assembly, with optional timer-based preemption.
- CS 251Cryptocurrencies and Blockchain Technologies (opens in a new tab)
- Wrote Ethereum smart contracts in Solidity, including an IOU tracker that resolves debt cycles.
- CS 274Representations and Algorithms for Computational Molecular Biology
- Implemented affine-gap sequence alignment (Needleman–Wunsch and Smith–Waterman).
Spring 2025
- CS 112Operating Systems Kernel Implementation Project (opens in a new tab)
Course project
Pintos Operating System Kernel
- Built all four Pintos (opens in a new tab) projects in C: threads, user programs, virtual memory and a file system.
- Implemented priority scheduling with nested donation, demand paging with clock eviction and a buffer cache.
Partner Jasraj Kripalani
- CS 152Trust and Safety (opens in a new tab) (current course website)
Course project
Crypto Scam Moderation Bot
- Built a Discord moderation bot in Python for reporting and reviewing pig-butchering scams.
- Scored wallet addresses in messages for risk using on-chain history and sanctions lists.
Partners Christelle Millos-Lopez, Nathan Hamzey, Tyler Abernethy
- CS 166Advanced Data Structures (opens in a new tab)
- Implemented range minimum query structures in C++, including Fischer–Heun.
- Built HyperLogLog cardinality estimators and a succinct rank structure.
Winter 2025
- CS 144Introduction to Computer Networking (opens in a new tab)
- Implemented TCP in C++: a byte-stream reassembler, a receiver and a sender.
- Built an Ethernet network interface with ARP and an IP router.
- CS 243Program Analysis and Optimizations (opens in a new tab)
- Wrote a dataflow solver and analyses for a Java compiler.
- Wrote an optimization pass that removes redundant null checks.
- CS 248AComputer Graphics: Rendering, Geometry, and Image Manipulation (opens in a new tab)
- Implemented SVG rasterization and half-edge mesh operations, including subdivision and simplification, in C++.
- Wrote a path tracer with mirror and glass materials, which the final project extended.
Final project
- Added physical camera lens simulation to a C++ path tracer.
- Rendered chromatic aberration by simulating how lenses bend each wavelength differently.
Partner Sebastian Ingino
- CS 255Introduction to Cryptography (opens in a new tab)
- Built an end-to-end encrypted chat client using Signal's Double Ratchet algorithm.
- Wrote a password manager using authenticated encryption.
Autumn 2024
- CS 242Programming Languages (opens in a new tab)
- Wrote a lambda-to-SKI compiler with type inference in Python and proved SKI confluence in Agda.
- CS 248BFundamentals of Computer Graphics: Animation and Simulation (opens in a new tab)
- Built 2D inverse kinematics, spline keyframe animation and collision simulation for rigid and deformable bodies.
- CS 259QQuantum Computing
Carnegie Mellon University
B.S. in Computer ScienceAug 2021 – May 2024
Spring 2024
- 05-391Designing Human Centered Software
- 15-411Compiler Design (opens in a new tab)
Course project
- Built an optimizing compiler for a safe subset of C targeting x86-64.
- Achieved up to a 2× speedup via tail calls, strength reduction and coalescing.
- Extended the language with variadic functions and function pointers.
- 15-414Bug Catching: Automated Program Verification (opens in a new tab)
Mini-projects
Verified Programs in Why3
- Wrote and formally verified a DPLL SAT solver and tries with set operations.
Partner Jessica Ruan
- 33-120Science and Science Fiction
Fall 2023
- 15-418Parallel Computer Architecture and Programming (opens in a new tab)
- Wrote a CUDA renderer and parallel n-body simulations with OpenMP and MPI.
Final project
Lock-free Radix Trees for IP Routing
- Used compare-and-swap (CAS) to scale lookups and updates across threads.
- Benchmarked under simulated network workloads, achieving over 50 ops/μs with 8 threads.
Partner Jessica Ruan
- 15-445Database Systems (opens in a new tab)
- Built a buffer pool manager and an extendible hash index for the BusTub database in C++.
- Implemented query executors and multi-version concurrency control.
- 15-451
- 70-342Managing Across Cultures
- 82-137Chinese Calligraphy: Culture and Skills
Spring 2023
- 15-210Parallel and Sequential Data Structures and Algorithms (opens in a new tab)
- Wrote parallel algorithms in C++ with ParlayLib, including skyline, range queries, shortest paths and dynamic programming.
- 15-259Probability and Computing (opens in a new tab) (current course website)
- 15-330Introduction to Computer Security (opens in a new tab)
- Wrote memory-corruption exploits that spawn a shell, including ones that work with ASLR enabled.
- 15-440Distributed Systems (opens in a new tab)
- Built transparent remote file access over RPC in C and a file-caching proxy in Java.
- Built a scalable web service and implemented two-phase commit with crash recovery.
- 84-372Space and National Security
Fall 2022
- 15-195
- 15-213Introduction to Computer Systems (opens in a new tab)
- Wrote a memory allocator, a Unix shell and a concurrent web proxy in C.
- 15-217
- 15-281Artificial Intelligence: Representation and Problem Solving (opens in a new tab) (current course website)
- 33-104Experimental Physics
- 76-270Writing for the Professions
- Wrote a proposal to switch campus restrooms to 2-ply toilet paper, backed by a student survey and cost comparisons with other universities.
Spring 2022
- 15-150
- 15-251
- 21-259Calculus in Three Dimensions
- 73-102Principles of Microeconomics
- 80-101Dangerous Ideas in Science and Society
- 98-360StuCo: Gödel, Escher, Bach: an Eternal Golden StuCo
Fall 2021
- 07-128First Year Immigration Course
- 07-131Great Practical Ideas for Computer Scientists
- 15-122
- 15-151
- 21-241Matrices and Linear Transformations
Final project
PageRank
- Implemented PageRank in Julia and applied it to the NSFNET backbone network.
Partner Haohui Liu
- 76-107Writing about Data
- 76-108Writing about Public Problems
- Wrote a proposal to standardize recycling-bin signage across campus, backed by a student survey and an interview with CMU's sustainability manager.
- 98-242StuCo: Introduction to Esoteric Programming Languages