Hongce Zhang

Hongce Zhang

Assistant Professor in Microelectronics Thrust

Hong Kong University of Science and Technology (Guangzhou)


Hongce Zhang is an Assistant Professor at the Microelectronics Thrust, Function Hub of the Hong Kong University of Science and Technology (Guangzhou). He is also affiliated with the ECE department of HKUST. He received his PhD from the Electrical and Computer Engineering Department of Princeton University in 2021, advised by Professor Sharad Malik.

  • Hardware Formal Verification
  • Model Checking
  • Logic Design and Verification
  • PhD in Electrical and Computer Engineering, 2021

    Princeton University

  • BSc in Microelectronics, 2015

    Shanghai Jiao Tong University

Open Positions

I’m looking for talented students (PhD/RA) who are interested in exploring topics around hardware verification, firmware and systems-on-chip security. Some of the work in this area is closely related to the electronic design automation (EDA) industry and I expect such topics will recieve increasingly more focus and support in the near future. I also have an open-position for a post-doc. The salaries will be highly competitive. Unlike PhD/RA, MPhil admission is administrated solely by the graduate school, please consult Fok Ying Tung graduate school if you are interested in the MPhil program.

Current Students




FUNH6800A (T1) Function Hub Seminar