I am currently a Research Assistant at the Thrust of Artificial Intelligence, Information Hub, Hong Kong University of Science and Technology (Guangzhou). My advisor is Bingzhuo Zhong.

I work in the Laboratory for Safe, Secure, and Smart Cyber-Physical Systems. My specific work includes conducting preliminary research on the formal synthesis of Control Barrier Functions based on Artificial Intelligence.