Developer · Researcher · Mathematician
I build tools that bridge mathematics, AI, and real-world applications — Microsoft Store desktop apps, full Python runtimes for iOS, and on-device IDEs for iPad.
2025 S.T. Yau High School Science Award · Bronze, Grand Finals · Silver, Asia Regional
Selected work
A self-contained, offline dev / scientific / AI workstation — Monaco editor, integrated terminal, Python 3.14 + C/C++/Fortran, on-device pdflatex, and local LLMs via llama.cpp.
A full Python runtime for iOS with the first public native PyTorch build, HuggingFace transformers, Rust tokenizers, NumPy/SciPy/scikit-learn, manim, and C/C++/Fortran interpreters. Powers CodeBench.
Research
Explicit support bounds for the limiting spectral distributions of products of sample covariance matrices.
What I do
01
Random matrix theory, the Stieltjes transform, limiting spectral distributions, and statistical modeling.
02
On-device PyTorch, HuggingFace transformers, scikit-learn, and local LLMs running fully offline.
03
Windows Store and App Store apps, native iOS frameworks, and open-source packages on PyPI.
04
Math animation with Manim, hardware video encoding with FFmpeg, and GPU 2D graphics with Cairo on Metal.