Eric Huang — Work

Experience

Researcher · Morph Labs, SF

Summer 2025
  • Worked with Christian Szegedy on Trinity, a large-scale autoformalization framework for research-level mathematics.
  • Formalized a bound on abc conjecture exceptional sets.
  • Helped build—and became solely responsible for—an internal distributed RL system.

Software Developer Intern · Ariya Finergy Ltd, Nairobi

Summer 2024
  • Created an app to help size solar and battery models accurately for the business development team.
  • Developed a performance analytics tool for the maintenance team, catching underperforming devices.
  • Improved controller communication speeds by 5× (25s → 5s).

Machine Learning & Android Intern · Ubiik Inc, Taipei

Summers 2022 & 2023
  • Prototyped an Android app to automate reading analog electricity meters; achieved 10× faster reads at 98% accuracy.
  • Built a data-processing pipeline to clean and sort meter-reading datasets.
  • Trained robust OCR models (TensorFlow) to read electric meters and integrated the prototype with the parent app for a seamless UX.

Education

BA Mathematics & Computer Science · University of Oxford

2023 – 2026

Activities: Odyssey Fellowship (co-host), AI Research Oxford (organizer), Soul of America Project (co-host), Oxford Entrepreneurs (committee), Taiwanese Student Society (committee), LMH Ultimate (captain), Orchard, Debate Society, Oxford Ultimate Frisbee.

International Bilingual School at Hsinchu Science Park (IBSH)

2021 – 2023

APMO qualifier, Taiwanese Math Olympiad qualifier, Taiwan Economics Olympiad Finalist.

Stuyvesant High School, New York

2019 – 2021

New York City Math Team; AIME qualifier ×3.

For more details, see my resume.