About me

I will begin my Ph.D. studies in Microelectronics at The Hong Kong University of Science and Technology (Guangzhou) (HKUST(GZ)) in January 2026, under the supervision of Prof. Hongce Zhang. Prior to this, I received my M.S.E degree from University of Electronic Science and Technology of China (UESTC) and my B.E. degree from South China Agricultural University (SCAU).

Previously, I interned as a Research Assistant at The Hong Kong University of Science and Technology (Guangzhou) and interned at the Guangdong Institute of Intelligence Science and Technology (GDIIST).

My current research interests focus on electronic design automation (EDA), especially in hardware formal verification and LLM for EDA. Meanwhile, I am also interested in related research topics and welcome discussions and collaborations with researchers from different fields.

🔥 News

• 2026.01:  🌐 Launched and updated my new academic homepage.

Publications

• TBD

Educations

2026.01 - incoming · The Hong Kong University of Science and Technology (Guangzhou)

Ph.D. student in Microelectronics

2022.09 - 2025.12 · University of Electronic Science and Technology of China

Master of Science in Engineering in Electronic Information

2018.09 - 2022.06 · South China Agricultural University

Bachelor of Engineering in Electronic Information Engineering

Internships

2025.07 - 2025.12 · The Hong Kong University of Science and Technology (Guangzhou)

Research Assistant, advised by Prof. Hongce Zhang

2024.01 - 2024.06 · Guangdong Institute of Intelligence Science and Technology

Intern Engineer, advised by Dr. Ning Ma and Dr. Yuxiang Huan

Honors and Awards

• 2022.11 First Class of Graduate Academic Scholarship in UESTC.
• 2023.11 Third Class of Graduate Academic Scholarship in UESTC.
• 2023.06 Second Prize in the 6th China Graduate Innovation Chip Competition at the UESTC.
• 2023.08 Excellent Award at the 6th China Graduate Innovation Chip Competition National Competition.