Qi Liu

Qi Liu (刘奇) is a Ph.D. Student at HKUST. He has rich experiences in crypto-accelerator/inference model accelerator. He is also proficient in FPGA backend optimization. His research currently focus on formal validation on hardware.