Yan Levin
Building at the edge of math, code, and teaching.
Junior at Eastside Prep, research intern at UT Austin, math olympiad competitor, and co-founder of SocketHR.
About
I'm a junior at Eastside Preparatory School in Kirkland, WA. I enjoy competitive math, software research with Professor Milos Gligoric's group at UT Austin, debate, and teaching younger students.
Timeline
- 2018
Math circle foundations
Prime Factor Math Circle; Math Kangaroo, up to 3rd nationally.
- 2022
First UW Math Hour Olympiad
5th of ~100, the start of five straight top-five finishes.
- Summer 2025
Research intern at UT Austin
In-person internship with Professor Gligoric's group on PLSemanticsBench, studying what code models can do.
- Fall 2025
Software research at UT Austin
Graph storage in Java, coverage, and CI at the Engineering Software Lab. Ongoing.
- Mar 2026
SocketHR
Co-founded SocketHR as CTO. Full-stack hiring product for recruiters flooded with AI-written résumés.
- Jun 2026
2nd place at UW Math Hour
Second of ~100 at the UW Math Hour Olympiad, the fifth straight top-five finish.
- Jul 2026
Cambridge AI, Outstanding Achievement
During the program I built NoteLMs, which classifies and organizes student notes and uses those classifications to compare language models.
- Aug 2026
eStore public release
Released eStore publicly, a result of software research with Professor Gligoric's Engineering Software Lab at UT Austin.
Research
PLSemanticsBench
Summer Research Intern · 2025
In-person internship with Professor Gligoric's group, studying the code capabilities of LLMs on PLSemanticsBench.
Cambridge: NoteLMs
Research paper · July 2026
Paper from the Cambridge AI program: a three-model framework for classifying and organizing student notes. notelms.com · Paper
Software research at UT Austin
Research Project · 2025–2026
Led improvements to graph storage in Java, coverage, styling, and CI at the Engineering Software Lab. Public repo: eStore.
Building
SocketHR, Co-Founder & CTO
Founded March 2026
Led full-stack development for a startup helping recruiters evaluate applicants when résumés are flooded with AI noise. sockethr.com
NoteLMs
July 2026
Classifies and organizes student notes, formats them to read later, and feeds those classifications into live model research. notelms.com
Math & Teaching
UW Math Hour Olympiad
5 years · grades 6–10
Oral, proofs-based contest at UW. Top five every year out of ~100: 5th, 2nd, 4th, 3rd, and 2nd (2022–2026). Contest site
Teaching Assistant
Prime Factor · Berkeley Math Circle
TA at Prime Factor and grades 2–3 at the BMC Summer Camp.
Husky Math Academy
Grades 9–10
Advanced algebra, number theory, combinatorics, and olympiad proof prep through Husky Math Academy.
Debate
- Open LD Octofinalist, Newport Knights Invitational
- Open Impromptu Finalist, Newport Knights Invitational
- Open SPAR Finalist, Auburn Riverside & Puyallup Invitationals
- Open LD Quarterfinalist, Bellevue School District Invitational
- Novice LD Semifinalist, Mount Vernon Invitational
More
Environmental Club Co-Lead
Built a program to measure waste-sorting accuracy and drove school-wide adoption via EPSort.
South Asian Affinity Group Co-Lead
Shaped a more inclusive club agenda and led weekly meetings.
Volunteering
Logic Land Math Festival and classroom tech for refugee students via Seattle Envelopes.
Cambridge AI, Outstanding Achievement
Outstanding Achievement Award (top 2) in the intensive AI program at Fitzwilliam College, Cambridge.