OSCC
Guangyu (Gary) HU
Gy-Hu
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
Hongce Zhang
zhanghongce
Princeton ECE Alumnus,
Assistant Professor @ HKUST(GZ)
Hong Kong University of Science and Technology (Guangzhou) Guangzhou, China
Yinzuo Jiang
jiangyinzuo
江胤佐, MS student at ICT, working on
Database System.
Institute of Computing Technology, Chinese Academy of Sciences China
Zhijie Cai
cai-zhi-jie
I received the B.S. degree from Fudan University in 2022. I am currently pursuing the Master degree with the School of Microelectronics, Fudan University
Shanghai, China
Karbon Chen
CSY-tvgo
EIT Digital Master student in Embedded Systems @ UniBo + KTH. Also as a remote member of @verimake-team.
KTH Royal Institute of Technology Stockholm, Sweden
PreviousNext