Speaker
Min Zhang
Min Zhang is a full professor at the Software Engineering Institute, East China Normal University. He earned his Ph.D. from the Japan Advanced Institute of Science and Technology in 2011 and joined East China Normal University in 2014. From 2019 to 2021, he served as a senior visiting professor at Nice University. His research interests primarily focus on formal methods for safety-critical systems, including real-time and AI-empowered systems. Recently, he has concentrated on the formal verification of deep neural networks and intelligent systems. He has co-authored over 80 papers, published in top-tier conferences such as CAV, TACAS, ASE, ICSE, NeurIPS, CVPR.