Guangyu (Gary) Hu
Researcher at Huawei Hong Kong Research Center, Fermat Lab
Huawei Hong Kong Research Center, Fermat Lab
About Me
Hello! Thank you for visiting my page. I am a researcher at Huawei Hong Kong Research Center, Fermat Lab, working on LLM + formal verification reasoning and hardware formal verification. I received my Ph.D. in IIP-MICS (Microelectronics) from HKUST in 2025, supervised by Prof.Hongce Zhang and Prof.Wei Zhang. I graduated from Xiamen University in February 2021.
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 - 2025
The Hong Kong university of Science and Technology
B.Eng. in Software Engineering, Sep. 2016 - Feb. 2021
Xiamen University