Ziyue Zheng

I am a Mphill at the Microelectronics Thrust of The Hong Kong University of Science and Technology (Guangzhou) , in team of Prof. Lyu . Previously, I majored in digital media technology in Xiamen University in Malaysia, conduting research on bibliometrics visualization. My graduation thesis focused on convex optimization algorithm to solve pollution routing problems. I also had expereience in blockchain security and smart contract security at the Oxford-Hainan Blockchain Resarch Institute .Now I'm working on chip verification.