Kester Tong

Google New York I work at @google on machine learning infrastructure and tooling. I'm also interested in programming with dependently types.