I am currently an Assistant Processor at the College of Cyber Security, Tianjin University, Tianjin, China. I obtained my doctoral degree at the College of Computer Science and Technology, Zhejiang University, supervised by Prof. Shouling Ji and Zonghui Wang.

I am interested in formal verification techniques for reliable intelligent systems. I am now working with some excellent people in a hardware security group led by Prof. Yongqiang Lyv. We are looking for diligent Ph.D, M.S. or intern students to join us. Feel free to send me an email if you are interested.

πŸ”₯ News

  • 2025.10: Β πŸŽ‰πŸŽ‰ I joined the College of Cyber Security at Tianjin University!
  • 2025.06: Β πŸŽ‰πŸŽ‰ My work β€œAn inversion-based measure of memorization” was accepted by ICCV 2025.

πŸ“ Publications

πŸ“– Educations

  • 2020.09 - 2025.09, Eng., Artifical Intelligence, Zhejiang University.
  • 2015.09 - 2019.06, B.E., Computer Science and Technology, Zhejiang University.

πŸ’» Internships

  • 2022.02 - 2022.08, Ant Group, China.