Dr. Jie Liang is a postdoc researcher in the School of Software, Tsinghua University, Beijing, China. He received his B.S. degree in computer science from the Beijing University of Post and Telecommunication, China, in 2017.06. He got his Ph.D. degree in software engineering from Tsinghua University in 2022.06. Research Interests: Software Engineering and Fuzzing-based Vulnerability Mining, mainly focusing on security analysis of DBMS and other basic software. He has found over 200 high-risk vulnerabilities in common data storage and management platforms and open source projects, such as MySQL, PostgreSQL, and libpng. His works have been published in top conferences and journals such as S&P, TDSC, Security, FSE, ICSE, PLDI, etc.

Dr. Zhuo Su is currently working as a postdoctoral fellow (Shuimu Scholar) with the School of Software, Tsinghua University, Beijing, China. He received his B.S. degree in software engineering from Northeastern University in 2018.06. He got his Ph.D. degree in software engineering from Tsinghua University in 2023.01. Research Interests: Model-driven software development techniques, mainly focusing on automatic code generation for embedded control systems and the security of models. He proposed a unified code generation framework for model-driven software development, supporting high-quality code generation for models built by different tools and efficient automatic testing with high coverage. The related system has been applied in Huawei's vehicle control modeling system, and the related papers have been published in top conferences and journals such as DAC, EMSOFT, Security, TCAD, etc.

Dr. Yanyang Zhao is a researcher who is currently conducting postdoctoral research at Tsinghua University. She received her Master's degree in Control Science and Engineering from Henan University of Technology in June 2018 and her Ph.D. degree in Computer Science and Technology from Beijing University of Posts and Telecommunications in November 2022. She is engaged in static code analysis and defect prediction based on machine learning, and her work has been published in EXSY and IST journals. She joined as a postdoctoral researcher in March 2023 and mainly focuses on vulnerability mining in software engineering and industrial control protocols, with a particular emphasis on research on protocol reverse engineering based on artificial intelligence technology.