About me

News

About Me

Research Topic

  • Program Language and Software Engineering
    • Code Generation, Comprehension and Representation
  • Formal Methods
    • Theorem Proving and Model Checking
  • Machine Learning and Deep Learning
    • Trustworthy Large Language Model Agent

Personal Interests

  • I now love skiing.
  • I love diving, exploring underwater worlds, and experiencing the beauty of marine life. I have the Advanced Open Water PADI certification.
  • I am interested in badminton, where I enjoy both casual and competitive matches. I organize the weekly badminton matches in the group.
  • I was a ZhuDi Player in Ivy Orchestry.
  • I have been passionate about chemistry. I competed in the Chinese Chemistry Olympiad and achieved first prize in Zhe Jiang province.