Regular biography
Cao, Yongzhi is a professor in the School of Computer Science at Peking University. He received his B.S. and M.S. degrees in mathematics from Central China Normal University in 1997 and 2000, respectively, and his Ph.D. degree in mathematics from Beijing Normal University in 2003. From 2003 to 2007, he was a Postdoctoral Researcher at Tsinghua University, and from 2007 to 2015, he was an Associate Professor at Peking University. His research interests include formal methods and reasoning about uncertainty in artificial intelligence. He has published papers in top-tier journals and has served on the Technical Program Committee of various international conferences. He is an IEEE Senior Member and has received the 2nd prize of Natural Science Award of Chinese Education Ministry for outstanding achievements in scientific research (2015).
Scholar-generated biography
Yongzhi Cao is a professor at Peking University, specializing in Formal Methods, Privacy and Security, and Artificial Intelligence. His research focuses on the application of formal methods to discrete-event systems, including fuzzy systems and Petri-nets, with an emphasis on control, model checking, and behavioral analysis. He also explores privacy and security challenges in AI, particularly in mitigating membership inference attacks. His work integrates fuzzy logic, lattice-valued computations, and differentiable logic programming to address complex problems in system modeling and machine learning. Cao's contributions span both theoretical and applied aspects of formal verification and AI security.