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
-
21:22
(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
Sort by: Most downloads
0 packages
No results matched your search.
Try browsing all packages to find what you're looking for.