I am a research scientist whose research interests are broadly in the area of machine learning and theoretical computer science. I am currently interested in reasoning in ML models (e.g., AI for mathematics/science) and machine learning on graph-structured and relational data, combining tools from algorithms with machine learning. Other areas I have worked in include streaming algorithms, privacy, error-correcting codes, etc. I was previously a research scientist at Google Research (until 2024), where my work has been used in a number of systems such as AlphaProof (theorem proving), Google Maps (routing/navigation), and Gboard (private analytics).