Ph.D. candidate at HKUST. My research interests include formal verification, logic synthesis and quantum computing.
-
The Hong Kong University of Science and Technology
- China
-
11:58
(UTC +08:00) - https://guangyuhu.me
- https://gy-hu.github.io/
- @rdsspq_eax
Highlights
- Pro
Block or Report
Block or report Gy-Hu
Report abuse
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abuseEarned achievements
Starstruck
Starstruck
Loading
Arctic Code Vault Contributor
Arctic Code Vault Contributor
Loading