He-Teng Zhang
(photo taken at DAC'18)	Staff Engineer, System Design Group, Synopsys Inc., Sunnyvale, CA, USA Email: {superpi152, topol.sys} at gmail dot com; heteng at synopsys dot com

He-Teng Zhang's interests include software development and fundamental science. He shared honors for several times in ICCAD Contest, IWLS Contest, and CADathlon, covering both logic synthesis and physical design field.

  From 2010 to 2017, He-Teng Zhang was with National Cheng Kung University (NCKU), Taiwan, R.O.C., where he received B.S. and M.S. degrees. At the time he was more like a pure enthusiast of software development for CAD, focusing on fundamental ideas and algorithmic infrastructures. His debut in the SpringSoft app competition 2012 won the first place for his affiliation, demonstrating creativity and the capability of SpringSoft's CAD infrastructure. In the same year, SpringSoft was aqcuired by Synopsys, a historical merge of two large EDA/CAD tool vendors.

  From 2017 to 2020, he was with National Taiwan University (NTU), Taiwan, R.O.C., where he dropped out with 2 DAC papers, 1 TCAD journal, and several honors at EDA/CAD programming competitions such as ICCAD contest, IWLS contest, and CADathlon, covering both logic synthesis and physical design field. Before he dropped out in 2020, he went on several adventures, including 2 times visits VDEC at The University of Tokyo (UTokyo), Japan, competing worldwide prestigious research groups of physical design field at ICCAD contests, visit University of California San Diego (UCSD), advancing logic synthesis with respectful researchers at IWLS contests, and earned research funding by Las Vegas bet. He enjoys reunions with old friends or meeting new friends at academic venues, research institutes, or during travel.

  From 2021 to 2023, he joined NTU, again, the second time enrollment. He finally found and regained his passion for academic activities, then published 1 DAC and 1 ICCAD paper, and received the 2021 IWLS best paper award for advancing the solver of Boolean satisfiability problems in both theoretical and engineering perspectives. In January 2023, He-Teng Zhang finished his journey at NTU and received Ph.D. degree within 2 years and received TICD (Taiwan IC Design society) Ph.D. thesis award (臺灣積體電路設計學會博士論文獎). He also served as a reviewer or a member of technical program committee of conferences or journals.

  Since January 2023, He-Teng Zhang has been with the EDA Group of Synopsys, working on Fusion Compiler and Design Compiler.
  In January 2025, He-Teng Zhang transferred to the System Design Group of Synopsys, working on large-scale algorithms for the Zebu server.