Coding
Ph.D. candidate at HKUST. My research interests include formal verification, logic synthesis and quantum computing.
-
The Hong Kong University of Science and Technology
- Hong Kong
-
22:30
(UTC +08:00) - https://guangyuhu.me
- https://orcid.org/0000-0001-5077-8361
- https://gy-hu.github.io/
- @rdsspq_eax
- in/guangyu-hu
Highlights
- Pro
Earned achievements
Starstruck
Starstruck
Loading
Arctic Code Vault Contributor
Arctic Code Vault Contributor
Loading