Research scientist at Google interested in federated learning, optimization, mathematics, and rigorous empiricism.