About Me

I am currently a student in the College of Computer Science and Technology at Zhejiang University, where I conduct research as a member of the FICTION group under the supervision of Prof. Dr. Mingshuai Chen. My primary research interests encompass probabilistic system verification, computational algebraic geometry and its applications, constraint solving, and programming languages.