Hongce Zhang

Hongce Zhang

Assistant Professor in Microelectronics Thrust

Hong Kong University of Science and Technology (Guangzhou)

Biography

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.

Interests
  • Hardware Formal Verification
  • Model Checking
  • Logic Design and Verification
Education
  • 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

PhD

Teaching

FUNH6800A (T1) Function Hub Seminar
N/A

Publications

(2021). Pono: A Flexible and Extensible SMT-based Model Checker. In CAV.

PDF Cite

(2021). Syntax-Guided Synthesis for Lemma Generation in Hardware Model Checking. In VMCAI.

PDF Cite

(2020). Verification of Recurrent Neural Networks for Cognitive Tasks via Reachability Analysis. In ECAI.

PDF Cite

(2020). In Search for a SAT-Friendly Binarized Neural Network Architecture. In ICLR.

PDF Cite