gy-hu Goto Github PK
Name: Guangyu (Gary) HU
Type: User
Company: The Hong Kong University of Science and Technology
Bio: Ph.D. candidate at HKUST. I'm doing research on formal verification and logic synthesis.
Twitter: rdsspq_eax
Location: China
Blog: https://guangyuhu.me