Hi! I am a third-year Ph.D. candidate at Carnegie Mellon University in ACO, the CS & Math joint program. I have been working with Boris Bukh on my mathematical research, and I also work with Jeremy Avigad @Hoskinson Center for Formal Mathematics and Sean Welleck @L3 Lab.
Alongside my Ph.D. study, I have gained valuable industry experience at ByteDance Seed as a research intern.
Previously, I received a B.S. Computational Math from Fudan University, and a B.A. Mathematics with a minor in Computer Science from Rutgers University, both in 2023. I also spent two wonderful semesters at Budapest Semesters in Mathematics in the spring and summer of 2022.
My Erdős number is 2.