โœจ About me

I am currently a Ph.D. candidate in Computer Science and Engineering at The Chinese University of Hong Kong (CUHK), starting Fall 2025, under the supervision of Prof. Tsung-Yi Ho, with additional guidance from Prof. Bei Yu. Prior to joining CUHK, I obtained my M.S. degree in Electronic Information from Beihang University (BUAA), where I conducted research under the guidance of Prof. Wei Xing and Prof. Yue Zhang.

๐Ÿ”ฎ Research Interests

  • Design Space Exploration (DSE)
  • Statistical Machine Learning

๐Ÿ”ฅ News

  • 2026.05: ย ๐ŸŽ‰ AnalogVerifier has been accepted by ICML 2026!
  • 2024.11: ย ๐ŸŽ‰ FUSIS paper has been accepted by DATE 2025!
  • 2024.09: ย ๐ŸŽฏ I will pursue a PhD in Computer Science and Engineering (CSE) at CUHK in August next year!
  • 2024.06: ย ๐ŸŽ‰ VIS has been accepted by ICCAD 2024!
  • 2024.02: ย ๐ŸŽ‰ EFAIL has been accepted by DAC 2024!
  • 2023.09: ย ๐ŸŽ‰ CIS has been accepted by ASP-DAC 2024!
  • 2023.11: ย ๐ŸŽ‰โœจ OPT received the Best Paper Nomination Award๐Ÿ†!
  • 2023.07: ย ๐ŸŽ‰ OPT has been accepted by ICCAD 2023!
  • 2023.02: ย ๐ŸŽ‰ OPTIMIS has been accepted by DAC 2023!

๐Ÿ“ Publications

Note: CCF-A CCF-B CCF-C

Conference Paper

๐ŸŽ– Selected Honors and Awards

  • 2024.10 National Scholarship (Master).
  • 2023.10 National Scholarship (Master) (Top 1%).
  • 2020.10 National Scholarship (Undergraduate) (Top 1%).
  • 2024.11 Outstanding Masterโ€™s Thesis Award.
  • 2024.11 Beijing Outstanding Graduate.
  • 2024.06 Top Ten Graduate Award
  • 2022.06 Outstanding Bachelorโ€™s Thesis Award.
  • 2020.12 Outstanding Student of Shandong Province.

๐ŸŽ“ Education

  • PhD Computer Science and Engineering
    The Chinese University of Hong Kong
  • MEng Electronic Information
    Beihang University
  • BSc Electrical Engineering and Automation
    University of Jinan

๐Ÿ’ป Experiences

The Chinese University of Hong Kong (Shenzhen)

Peer Reviewer

  • 2025.05 IEEE/ACM TODAES