Zhengyuan Shi

Zhengyuan Shi

Postdoctoral Fellow, The Chinese University of Hong Kong

Zhengyuan Shi (石正源, Stone) will join the Microelectronics Thrust of The Hong Kong University of Science and Technology, Guangzhou (HKUST-GZ) as Assistant Professor in Jan. 2027. I’m now a Postdoctoral Fellow at The Chinese University of Hong Kong, supervised by Prof. Qiang Xu and Visiting Scholar at University of Bremen, supervised by Prof. Dr. Rolf Drechsler. I obtained my Ph.D. degree from The Chinese University of Hong Kong in 2026 and B.Eng. degree with presidential scholarship from Shandong University in 2021. I have published more than 40 papers at top-tier conferences and journals, including DAC, ICCAD, TCAD and SCIS. I have also served as TPC member for several conferences and reviewer for journals.

My research focuses on AI/LLM for Electronic Design Automation (EDA) and Constraint Programming (CP), including the following directions:

  • RTL design
  • Logic synthesis, Technology mapping
  • Formal verification
  • Boolean satisfiability problem
  • Linear programming
I'm recruiting 2-3 PhD students, several PostDocs and RAs at HKUST-GZ. Visiting students and intern students are also welcome. PhD admission is available for 2027 Spring and 2027 Fall. Contact: zyshi21[AT]cse.cuhk.edu.hk.

🔥 News

  • 2026.02:  🎉🎉 Two papers were accepted by DAC 2026. But I may not attend the conference this year 😭.
  • 2026.01:  🎉🎉 I was honored to receive the Best Poster Award at SRF of ASPDAC 2026.
  • 2025.09:  🎉🎉 Two papers were accepted by ASPDAC 2026 (I can’t wait to the magical visit to HK Disneyland~).
  • 2025.08:  🎉🎉 Our SAT solver Kissat-CURE wins the 3rd prize in SAT Competition Main Track.
  • 2025.06:  🎉🎉 Two papers DeepCell and MMCircuitEval were accepted by International Conference on Computer-Aided Design (ICCAD).
  • 2025.06:  👉👉 I was selected to attend CP/SAT Doctoral Program and present our work Circuit Learning for Boolean Satisfiability Problems. Thanks for the travel support from Association for Constraint Programming (ACP).
  • 2025.05:  🎉🎉 Our paper DynamicSAT: Dynamic Configuration Tuning for SAT Solving was accepted by International Conference on Principles and Practice of Constraint Programming (CP). The paper received excellent reviews, including two perfect scores (5/5/4 out of 5).
  • 2025.04  👉👉 My poster of my PhD topic Large Circuit Model: Towards AI-Native EDA Methodology was accpeted by Design Automation Conference (DAC) PhD Forum with 1,000$ travel grant support.
  • 2025.02:  🎉🎉 Our paper Logic Optimization Meets SAT: A Novel Framework for Circuit-SAT Solving was accepted by Design Automation Conference (DAC).
  • 2025.01:  🎉🎉 Our paper DeepSeq2: Enhanced Sequential Circuit Learning with Disentangled Representations Link was nominated as Best Paper in Asia and South Pacific Design Automation Conference (ASPDAC).
  • 2024.11:  👉👉 Our paper about Large Circuit Model, an AI-native foundation model for EDA, was published in Science China Information Science 微信公众号

📝 Publications

Publication Summary: DAC+ICCAD x8, DATE+ASPDAC x6

Conference Publication

Journal Publication

🎖 Honors and Awards

  • 2026.01 Best Poster Award, Asia and South Pacific Design Automation Conference (ASPDAC)
  • 2025.07 3rd Award, SAT Competition Main Track.
  • 2025.01 Best Paper Award Nominee, Asia and South Pacific Design Automation Conference (ASPDAC)
  • 2022.06 Best Paper Award Nominee, Design Automation Conference (DAC)

📖 Educations

  • 2021.08 - 2026.03, Ph.D., Department of Computer Science and Engineering, The Chinese University of Hong Kong.
  • 2017.09 - 2021.06, B.Eng., School of Information Science and Engineering, Shandong University.

😘😘😘

My love 💗: Yiran Liu, Ph.D. candidate in the Faculty of Business Administration, University of Macau. photo