Mason Choi

MMXXVI

Work

From SEC-scraping ETL to live financial ML, and now formal methods for smart-contract security.

Olympix — Software Engineer — Building the formal-methods engine of the future. Web3 cybersecurity, in New York. 2025—
AlphaSeeker AI — ML Engineer — Automated training and inference for 12 statistical models; built the backend end to end. 2024—
Atlantic Prime Estates — Data Engineer — ML for property appreciation and zipcode-level profitability, plus the pipelines feeding it. 2023–24
Solve Advisors — Data Engineer — A BDC statement parser that saved ~848 hrs/yr; automated bond, loan, and treasury pricing. 2022–23
Advantage Data — Data Engineer — Automated 10-Q/10-K SEC extraction; GCP ETL pipelines into BigQuery. 2021–22

Selected work. More on GitHub.

Vestio — A clothes-shopping app with in-house virtual try-on — upload a photo and wear the catalogue. 2024–25
Lexia — Chrome extension improving online-text readability, made for a friend with dyslexia. 2023
Raytracer — Built from scratch in JavaScript, with Tony Zhang. 2022
Filess — Asset-sharing platform on Flask and AWS S3. 2022
EMNIST net — A neural network from scratch in NumPy — 96%+ on EMNIST Balanced, 6th on the benchmark. 2022
Anchor — Stock predictions from TensorFlow models retrained nightly on EC2. Grew to 275+ returning users. 2021

Led the quant arm at UMass — a live portfolio and a trading desk.

MAIF — Head of Quantitative Finance — Ran a $100k portfolio to a 40% annualized return; recruited and trained 24 analysts and traders across 8 strategies. 2024–25
MAIF — Quantitative Researcher — Led a derivatives team running gamma-scalping and delta-hedging — ~1% alpha vs. the S&P 500 at a 2.08 Sharpe, live. 2024

Computer science and mathematics in two years.

B.S. Computer Science — 3.95 GPA. Independent study with Prof. Jaime Dávila on recommender models for clothing selection. 2023–25
B.S. Mathematics — 3.9 GPA, concentration in statistics and data science. 2023–25
Boston Latin School — Left after grade 10 for university. State épée champion. 2019–23
Toolkit — Python, Java, C, JavaScript, SQL · TensorFlow, Pandas, NumPy · AWS, GCP · React, Flask, Django.

Nationally ranked, a state champion, and still on the strip.

Individual — Peaked 13th in the nation and 1st regionally at Cadet; 5th regionally at Junior. 2016–23
Boston Latin — Varsity from 7th grade; Massachusetts state champions. 2019–23
UMass club — 1st at the Smith individual invitational. 2023—

Objects that move, places to go, and the occasional 4AM fishing trip.

Making — A 3D-printed robotic prosthetic hand in experimental printed fabric, and a mechatronic sculpture after Willem van Weeghel.
Travel — Over 30 countries across four continents.
Outside — Climbing, and 4AM fishing for bass and carp.
Service — ZERO HERO Award for hunger-relief work; weekly meals with Boston’s HOME ministry. 2021–23

Say hello — or take the one-page résumé.