Hi, I’m Will.

I study computer science and mathematics at the University of Washington. My interests were previously in combinatorial optimization and probability; I’m now shifting toward empirical AI.

Will Gao

Extended lecture notes

All six notes

I sometimes expand lecture notes into a more systematic treatment, filling in proofs and connecting ideas. Here are a few of those notes.

March 2025

PCA Without the Fundamental Theorem of Algebra

Proves the real spectral theorem using compactness and Lagrange multipliers, then develops SVD, optimal low-rank approximation, and PCA—without invoking the Fundamental Theorem of Algebra.