Zhengyuan Shi

Zhengyuan Shi

Ph.D. Candidate in The Chinese University of Hong Kong

Zhengyuan Shi (石正源, Stone) is a Ph.D. Candidate in Dept. of Computer Science and Engineering, The Chinese University of Hong Kong (CUHK), supervised by Prof. Qiang Xu. Prior to my journey in CUHK, I obtained the B.Eng. degree with honors in Shandong University in 2021 and was supervised by Prof. Gangqiang Yang. I gained valuable experience as an intern at Huawei, Hisilicon and Xilinx, and also worked as a visiting student at CityU and UBC.

I’m looking for job opportunities, will graduate in Aug. 2025.

My research focuses on the following areas:

  • AI for EDA: Large Circuit Model, Logic Synthesis and Formal Verification.
  • AI for Optimization Problem: SAT/SMT, MaxSAT, ILP.

I have published more than 20 papers at the top EDA conferences and journals, including DAC, ICCAD, DATE and ASPDAC. I also served as reviewer for DAC, ICCAD, TVLSI, Sci China Inf Sci and etc.

🔥 News

  • 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).
  • 2023.11:  👉👉 Our paper about Large Circuit Model, an AI-native foundation model for EDA, was published in Science China Information Science 微信公众号
  • 2024.07:  🎉🎉 Our paper DeepGate3: Towards Scalable Circuit Representation Learning was accepted by International Conference on Computer-Aided Design. Link
  • 2023.11:  👉👉 The pip package of DeepGate2 was released. You can call the circuit representation model only with 7 lines. Link
  • 2023.08:  🎉🎉 Our two papers DeepGate2: Functionality-Aware Circuit Learning and SATformer: Transformers for UNSAT Solving were accepted by International Conference on Computer-Aided Design (ICCAD).
  • 2022.04:  🎉🎉 Our paper DeepGate: Learning Neural Representations of Logic Gates was nominated as Best Paper in Design Automation Conference (DAC).
  • 2021.04:   I was selected as the Outstanding Student of Shandong Province and my undergraduate thesis was awarded by Outstanding Undergraduate Thesis Award in SDU.
  • 2020.12:   I received Presidential Scholarship (校长奖学金, only 20 students) and Baosteel Scholarship (宝钢奖学金，only 4 students), which is reported by news 齐鲁晚报.

📝 Publications

Conference Publication

Journal Publication

🎖 Honors and Awards

Acadamic Awards

  • 2025.01 Best Paper Awared Nominee, Asia and South Pacific Design Automation Conference (ASPDAC)
  • 2023.09 International Conference on Computer-Aided Design (ICCAD) Student Scholar
  • 2023.05 Design Automation Conference (DAC) Young Fellowship
  • 2022.06 Best Paper Awared Nominee, Design Automation Conference (DAC)
  • 2021.04 Outstanding Undergraduate Thesis Award, Shandong University

Others

  • 2020.12 Presidential Scholarship, Shandong University
  • 2020.11 Outstanding Maker of Shandong Province (山东省优秀创客)
  • 2020.09 Second Prize, National Undergraduate Electronics Design Contest (全国大学生电子设计竞赛)
  • 2018.05 Outstanding Individual in Innovation and Intrepreneurship, Qingdao
  • 2016.11 First Prize, National Olympiad in Informatics in Provinces (NOIP)

📖 Educations

  • 2021.08 - Now (2025.11), Ph.D. Candidate, Department of Computer Science and Engineering, The Chinese University of Hong Kong.
  • 2017.09 - 2021.06, B.Eng. in Information Engineering, School of Information Science and Engineering, Shandong University.

💻 Internships

  • 2024.05 - Now, National Technology and Innovation Center of EDA (国家集成电路设计自动化技术创新中心), Nanjing, China
  • 2022.05 - 2024.05, Noah’s Lab, Huawei, Hong Kong S.A.R.
  • 2021.03 - 2021.06, Hisilicon, China.
  • 2020.07 - 2020.11, Central Hardware Engineering Department, Huawei, China.
  • 2019.12 - 2021.04, Architecture Lab for Arithmetic and Security, CityU, supervised by Prof. Ray C.C. Cheung.
  • 2019.06 - 2019.09, Xilinx, China.
  • 2018.07 - 2018.08, Visiting Student, Department of Electrical and Computer Engineering, University of British Columbia.

🎙️ Invited Talks

  • 2025.01, Young Scholars Forum of the School of Electronic and Computer Engineering, Peking University (PKU)
  • 2025.01, Outstanding Scholar Forum of Electronic and Electrical Engineering, Southern University of Science and Technology (SUSTech)
  • 2024.10, Qilu Youth Forum, Shandong University (SDU)
  • 2024.06, Large Circuit Model for Formal Verification, First Symposium of Large Circuit Model
  • 2024.05, Tutorial: Boolean Satisfiability Solving State-of-the-Art, Internal Symposium of Electronics Design Automation (ISEDA)

💪 Services

  • Chair, IEEE CUHK Student Branch
  • Teaching Assistant, Embedded System Development and Applications (CENG4480) / Embedded System Design (CENG2400), CUHK
  • Teaching Assistant, Applied Blockchain and Cryptocurrencies (FTEC5520), CUHK

😘😘😘

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