Broadly interested in theoretical computer science and AI for mathematics
Co-led the formalization workstream in Google's 2024 IMO effort where AlphaProof achieved a silver medal standard
The project was recognized by Quanta Magazine as one of the top five mathematical breakthroughs of 2024
Contributed to the gold medal-winning IMO 2025 and ICPC 2025 efforts
Focuses on fundamental limits and algorithm design for global problems (e.g., shortest paths, MST) in distributed networks
Uncovered deep connections between distributed computing and metric embeddings, information theory, parallel graph algorithms, and oblivious packet routing