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. Additionally, I am a student enrolled in the Joint Ph.D. Program with Huawei Noah’s Lab. 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 Xilinx, Huawei and Hisilicon, and also worked as a visiting student at CityU and UBC.

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 10 papers at the top EDA conferences and journals, including DAC, ICCAD, TECS and TRETS. I also served as reviewer for DAC, ICCAD, TVLSI, Sci China Inf Sci and etc.

🔥 News

  • 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.
  • 2022.04:  🎉🎉 Our paper DeepGate: Learning Neural Representations of Logic Gates was nominated as Best Paper in Design Automation Conference.
  • 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

  • 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 (山东省优秀创客), Education Council of Shandong Province (省团委、省教育厅、省科技厅等)
  • 2020.09 Second Prize, National Undergraduate Electronics Design Contest (全国大学生电子设计竞赛)
  • 2018.05 Outstanding Individual in Innovation and Intrepreneurship, Human Resources and Social Security Bureau, Qingdao City (青岛市团委、市人社局等)
  • 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.
  • 2018.07 - 2018.08, Visiting Student, Department of Electrical and Computer Engineering, University of British Columbia.

💻 Internships

  • 2021.08 - Now, 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.

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

My cats 🐱🐱: Mini (咪咪) and Tangyuan (汤圆)