🎖 Honors and Awards

• 2024.07, Graduate Student Representative, University of Chinese Academy of Sciences (1/13691) (中国科学院大学 硕博研究生毕业生代表) 🔍
• 2024.06, Outstanding Graduates in Beijing
• 2024.06, The President Award of the Chinese Academy of Sciences - Special Award (80 students in UCAS+USTC) (院长奖学金-特别奖) 🔍
• 2023.12, CCF Chinasoft, Outstanding Doctoral Representative (14 students in China)
• 2023.11, “Pollyanna Chu” Scholarship for Distinguished Doctorates (Top 1%) (朱李月华优秀博士奖学金)
• 2023.11, “FenJin” Scholarship – Integrated Circuit Personnel Training Project (EDA no more than 10 in China)(“奋进奖学金–集成电路人才培养”)🔍
• 2022.11, National Scholarship for Doctoral Students (博士国家奖学金) (Top 1%)
• 2020.11, National Scholarship for Graduate Students (硕士国家奖学金) (Top 1%)

Competitions Awards

• The International SAT Competition & Race 🏠Homepage
  • 2024: PRS won 🥈Cloud Track
  • 2023: PRS won 🥇🥇🥇Main-Parallel(SAT/UNSAT/ALL) Track and 🥈Cloud Track
  • 2022: ParKissat-RS won Chinese First 🥇🥇🥈Main-Parallel(SAT/ALL) Track; kissat-pre won 🏆NoLimits Track; kissat-inc won 🥈🥈Main-Sequential(SAT/ALL) Track
  • 2021: lstech_Maple won 🥈Main-Sequential(SAT) Track; kissat_bonus won 🥈Main-Sequential(UNSAT) Track;
  • 2020: Relaxed_LCMDCBDL_newTech won 🥇Main-Sequential-SAT Track
  • 2018: ReasonLS won 🏆NoLimits Track
  • Sparkle SAT Challenge 2018 🏠: ReasonLS won the 🥈second place.
• International Satisfiability Modulo Theories (SMT) Competition 🏠Homepage
  • 2023: z3++ won 🏆MV-Biggest Lead & MV-Largest Contribution & 🏆QF-LIA(;,‖,T,mv), QF_NLIA(;,‖,T,⊥,24), QF_NIA(;,‖,T), QF_IDL(⊥) 📽️Video
  • 2022: z3++ won 🏆MV-Biggest Lead & 🏆MV-Largest Contribution
  • 2021: YicesLS won 🏆QF-IDL Model Validation & Single Query
• FLoC (Federated Logic Conference) 2022 Olympic Games 🏠Homepage
  • SAT: ParKissat-RS won 🏆Parallel Track
  • SMT: z3++ won 🏆MV-Biggest Lead & 🏆MV-Largest Contribution

• 2024, China Postgraduate IC Innovation Competition EDA Elite Challenge (中国研究生创“芯”大赛 EDA精英挑战赛), 🥈Second award, 🏢 Enterprise Special Award (S2C)

• 2023, The 6th “Qiangwang Cup” National Network Security Challenge, Cryptography Mathematics Special Competition, (“强网杯”全国网络安全挑战赛，密码数学专项赛) Group Name: “CMixSAT”, 🏆 Champion

• 2022, Integrated Circuit EDA Elite Challenge, 🥈Second award, 🏢 Enterprise Special Award (Hisilicon)

• 2017, Interdisciplinary Contest In Modeling, Meritorious Winner

• 2016, Contemporary Undergraduate Mathematical Contest in Modeling (CUMCM), 🥈 Second prize

• 2016, International Genetically Engineered Machine competition (iGEM), 🥇 Gold Award