✧ The full picture ✧
Resume
Where I've worked, what I've built, and the courses shaping how I think.
Experience
Osmosis (YC W25)
ML Engineer
Building and scaling a real-time RL-based LLM post-training platform with multi-cloud orchestration and fault-tolerant pipelines, while researching Lean-driven formal verification to train open-source math reasoning models from natural language to proofs.
Bain and Company
Software Engineer
Improved Bain's CloudLaunch IaC platform by scaling multi-cloud automation, generating Terraform modules with AI, and accelerating deployments.
Khoury College of Computer Sciences
Teaching Assistant
TA for Northeastern's Fundamentals of Computer Science, mentoring students on core programming concepts, debugging, and problem-solving while supporting labs and coursework.
Projects
✧ Lean-Based Formal Verification Research
Building an open-source math-reasoning model that bridges natural language intuition and formal Lean proofs through reinforcement learning.
Gradually-Typed Programming Language
Gradually-typed language with CESK machine semantics in OCaml, featuring a full toolchain from parser to runtime with sound type enforcement.
Cooper: Co-op Review Platform
Full-stack review platform serving 10,000+ Northeastern students with optimized queries and Google OAuth.
Perennial Harvests
Unity game inspired by Chinese folk tales with farming mechanics, PvE combat, and original hand-drawn art.
Tech Stack
Coursework
Northeastern University ✧ Computer Science + Mathematics
Spring 2026
current- Co-op at Osmosis (YC W25)
Fall 2025
- CS4400Programming Languages
- CS3800Theory of Computation
- MATH7243ML & Statistical Learning Theory 1
Spring 2025
co-op- Co-op at Bain and Company
Fall 2024
- CS5800Algorithm (Graduate)
- MATH3181Advanced Probability & Statistics
- MATH3545Graph Theory
Summer 2024
- CS3500Object-Oriented Design
Spring 2024
- CS2800Logic and Computation
- CS2510Computer Science 2 (Accelerated)
- MATH4571Advanced Linear Algebra
Fall 2023
- CS1800Discrete Structure (Accelerated)
- CS2500Computer Science 1 (Accelerated)
- MATH2321Calculus 3
- MATH2341Diff Equations & Linear Algebra