Resume
Education
Massachusetts Institute of Technology
Cambridge, MAB.S. in Computer Science and EngineeringSep. 2024 – June 2028
Experience
Undergraduate Researcher (UROP)
June 2026 – Aug. 2026Zardini Lab (MIT LIDS / CEE)Cambridge, MA
- Formulated linear programming models to compute optimal Bayesian persuasion signaling policies over congested multi-agent routing networks.
- Demonstrated empirically that persuasive signaling reduces the Price of Anarchy, recovering 65% of efficiency loss caused by selfish routing.
- Benchmarked simplex basis warm-starting against cold-start interior-point methods, profiling empirical scaling barriers under combinatorial path explosion.
- Proposed a spatial-temporal decomposition framework to partition network topologies and scale solvers across high-density graphs.
PythonGurobiLinear ProgrammingGame TheoryOptimization
Team Lead & Head of Software
Dec. 2021 – June 2024Rush-Henrietta Royal Robotics (FTC 3750)Henrietta, NY
- Developed a sustainable sponsorship strategy, forging long-term relationships with local businesses.
- Refactored legacy codebase, enhancing readability and maintainability.
- Developed a redundant image-processing algorithm to improve the reliability of autonomous decision-making.
- Mentored team members through Java workshops, equipping them with the necessary skills for technical roles.
JavaGitComputer VisionRobotics
Projects
Campus Auction Platform| TypeScript, Vue.js, Bun, MongoDB
Sep. 2026 – Oct. 2026- Architected a full-stack auction platform using formal Concept Design, isolating state into modular concepts (Listing, Auction, Pseudonym) synchronized via declarative reactive hooks.
- Serialized concurrent bids via atomic single-document updates, validating price thresholds to deterministically reject out-of-order or stale requests.
- Anonymized public activity using listing-scoped pseudonyms, only disclosing identities on settlement.
- Integrated MIT Touchstone (OIDC) authentication and session handling to restrict platform access to verified campus Kerberos identities.
Autonomous Poker Agent| Python, NumPy, Multiprocessing
Jan. 2026 – Feb. 2026- Engineered an autonomous agent using parallelized Monte Carlo CFR (MCCFR) to approximate Nash equilibrium strategies across imperfect-information game trees.
- Designed state abstraction using Monte Carlo rollouts and k-means clustering of hand-equity histograms.
- Built a custom wrapper for the game engine, accelerating the iteration pipeline by over 10×.
- Won the $1,000 "Forecasting" award from Hudson River Trading for algorithmic excellence.
Pipelined RISC-V Microarchitecture| Minispec (BSV), RISC-V
Sep. 2025 – Dec. 2025- Designed a 4-stage pipelined RISC-V processor with 2-way set-associative I/D caches in Minispec/BSV.
- Built combinational bypass forwarding and stall hazard logic, eliminating ≈15% cycle overhead.
- Engineered static predict-not-taken branch prediction and in-flight instruction cache request squashing.
- Achieved an 84.5× benchmark speedup by adding custom SIMD instructions pipelined across stages to reduce clock period from 854 ps to 606 ps (1.65 GHz).
Coursework, Technical Skills, and Activities
Languages:Python, C, TypeScript, JavaScript, Java, Minispec (BSV), SQL, Lua(u)
Web & Frameworks:Node.js, Vue.js, Bun, MongoDB, Express, React, Next.js
Systems & Tools:Git, Docker/Podman, Gurobi
Activities:MIT UROP, MIT Pokerbots, MIT QuestBridge, MIT Sigma Alpha Epsilon Fraternity
Coursework:Algorithms (6.1220), Software Design (6.1040), Operating Systems (6.1810), Computation Structures (6.1910), Machine Learning (6.3900), Linear Algebra (18.06)