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
Research Assistant
Research Intern
Responsibilities include:
- Participate in paper writing
- Develop Deep Learning model on CFI
- Supplement experiment according to paper review
Research Intern
Responsibilities include:
- Develop PCB auto-routing tools on Python
- Present experiment result to Huawei Company
- Dataset collection and algorithm design
RTOS developer intern
Responsibilities include:
- Develop CPU L2 cache miss rate tool
- Development document writing