Guangyu (Gary) Hu

Guangyu (Gary) Hu

Phd Student in Microelectronics

HKUST (The Hong Kong university of Science and Technology)

About Me

Hi! Thank you for visiting my page! I am Gary, who has a strong interest in machine-learning-guided formal verification of Hardware/Software. I graduated from Xiamen University in Aug 2020, and now I am a third-year Ph.D. student in HKUST(IIP program), supervised by Prof.Hongce Zhang and Prof.Wei Zhang.

See my resumé on overleaf.

Interests
  • Formal Verification
  • Hardware Security
  • Invariant Synthesis
  • Model Checking
  • Deep Learning
Education
  • Ph.D. in IIP-MICS (Microelectronics), Feb. 2022 - Now

    The Hong Kong university of Science and Technology

  • B.Eng. in Software Engineering, 2020

    Xiamen University

Experience

 
 
 
 
 
HKUST(GZ)
Research Assistant
Sep 2021 – Present Guangzhou, China
 
 
 
 
 
Hunan University
Research Intern
May 2021 – Sep 2021 Changsha, China

Responsibilities include:

  • Participate in paper writing
  • Develop Deep Learning model on CFI
  • Supplement experiment according to paper review
 
 
 
 
 
Sun-Yat Sen University
Research Intern
Dec 2020 – May 2021 Guangzhou, China

Responsibilities include:

  • Develop PCB auto-routing tools on Python
  • Present experiment result to Huawei Company
  • Dataset collection and algorithm design
 
 
 
 
 
Anyka Microelectronics Co., Ltd.
RTOS developer intern
Sep 2020 – Dec 2020 Guangzhou, China

Responsibilities include:

  • Develop CPU L2 cache miss rate tool
  • Development document writing