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. My time goes into 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 and UW 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.
- 2024
Estore research begins
Cypher graph storage in Java, coverage, and CI at the Engineering Software Lab.
- 2025
UT Austin & SocketHR
Summer intern on PLSemanticsBench; co-founded SocketHR as CTO.
- 2026
Deeper work, new rooms
2nd at UW Math Hour, more Estore, and AI coursework at Cambridge.
Research
PLSemanticsBench
Summer Research Intern · 2025
In-person internship with Professor Gligoric's group, studying the code capabilities of LLMs on PLSemanticsBench.
Estore
Research Project · 2024–2026
Led improvements to Estore: Cypher graph storage in Java, coverage, styling, and CI.
Building
SocketHR — Co-Founder & CTO
Led full-stack development for a startup helping recruiters evaluate applicants when résumés are flooded with AI noise. sockethr.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 course
Intensive AI coursework at Fitzwilliam College, Cambridge.