Hi, I’m Yuan Li, a PhD student in the ZJU Programming Languages and Automated Reasoning Group, advised by Prof. Peisen Yao.

I am now working on broad areas, including programming languages, software engineering, cybersecurity, and artificial intelligence, focusing on topics about the evaluation and optimization of techniques related to static analysis.

πŸ“ Publications

* Corresponding authors
# Co-first authors

πŸŽ– Honors and Awards

  • 2023.06 Outstanding Graduate
  • 2022.12 National Scholarship (Graduate)
  • 2021.12 CCF BCDI Digital Security Contest Second Prize (Rank 2/907)
  • 2018.12 Outstanding Undergraduate

πŸ’» Internships

  • 2022.06 - 2022.09 ML Development for Threat Response, Trend Micro, Nanjing