Guangyu (Gary) Hu
Phd Student in Microelectronics
HKUST (The Hong Kong university of Science and Technology)
About Me
Hello! Thank you for visiting my page. I am a researcher specializing in hardware formal verification and logic synthesis. I graduated from Xiamen University in February 2021 and am currently a forth-year Ph.D. student in the IIP program at HKUST. 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, Sep. 2016 - Feb. 2021
Xiamen University