Hi! I am a third-year Math Ph.D. candidate at Carnegie Mellon University. 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.
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.