Ph.D., Professor, Doctoral Supervisor, Lijiang Scholar at Guangxi Normal University, Guangxi Outstanding Scholar, and second-tier candidate for Guangxi's Ten Hundred Thousand Talents Project. He is a member of the CCF Theoretical Computer Science, Formal Methods, and Distributed Computing and Systems Committees. He has received the Guangxi Youth Science and Technology Award and two provincial-level third prizes. His research focuses on intelligent security, formal verification, and VLSI fault tolerance. He has led over 20 projects, including National Natural Science Foundation and Guangxi Natural Science Key Fund projects. He has published over 80 papers in top international journals such as IEEE TSE, IEEE TPDS, IEEE TCAD, and ACM TOSEM, as well as in top conferences like ACM MobiCom and domestic first-class journals such as Journal of Computer Science, Journal of Software, and Journal of Electronics. He has also contributed to technology transfer, serving national defense and government agencies, and holds 12 invention patents, 1 utility model patent, and 11 software copyrights.
