I am currently working with Daniel Kang on Zero-Knowledge Proofs for Machine Learning. This allows the owner of an ML model to prove that something was generated by their model without disclosing the model parameters. I previously worked with Aarti Singh on Gaussian Process optimization. My personal projects lie in many fields. I wrote a water simulation from scratch in C by approximating the Navier-Stokes partial differential equations. I made an AI art generator in pyTorch by writing a generative adversarial network to mimic images from the STL-10 dataset. I implemented the Fast Multipole Method to calculate the gravitational forces of a set of particles in O(n), where the naive method is O(n2). In my free time I like to play piano and cook.