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).

🔥 News

• 2026.06:   Our paper Miter-Aware LUT Mapping: Aligning Structure for Efficient Logic Equivalence Checking was nominated as Best Paper in DAC. As co-corresponding author, this is also my first time guiding a junior PhD student. Congratulations to Jiaying! 🎉🎉
• 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 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 x10, DATE+ASPDAC x6

Best Paper Nomination x3: DAC26, ASPDAC25, DAC22

Best Poster x1: ASPDAC26

Full publication list is available on Google Scholar.

🎖 Honors and Awards

• 2026.06 Best Paper Award Nominee, Design Automation Conference (DAC)
• 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)

💼 Works

• 2026.03 - Now, PostDoc, The Chinese University of Hong Kong.
• 2026.05 - Now, Visiting Scholar, University of Bremen.

📖 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.

🎙️ Invited Talks

• 2026.01, Learning Circuit Intuition for Smart Design Automation, IEEE CEDA Guangzhou Chapter.
• 2025.11, Beyond LLMs: Making Foundation Model Understand Circuit, Foundation Models and EDA Workshop, ICCAD 2025.
• 2025.09, 大电路模型：进展与展望, CCF ADL164《AI自动芯片设计》.

😘😘😘

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