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. Su Zhuo is currently a postdoctoral researcher at Tsinghua University. He received his Ph.D. degree in software engineering from Tsinghua University in January 2023, and his B.S. degree from Northeastern University in June 2018. During his postdoctoral period, he was selected for the "China National Postdoctoral Program for Innovative Talents" and "Tsinghua University Shuimu Scholar Program", selected for the "CCF Formal Methods Committee Outstanding Doctoral Thesis Award Program", and chaired the National Natural Science Foundation of China (NSFC) general program and the postdoctoral general program. During his Ph.D. studies, he was awarded the Outstanding Doctoral Thesis of Tsinghua University, Outstanding Graduate of Tsinghua University, National Scholarship, First Class Scholarship, etc. He mainly researches model-driven software development technology, focusing on automatic code generation for embedded control systems and model code security. He has proposed a unified code generation framework for model-driven software development, which supports high-quality code generation and highly efficient and comprehensive automatic testing of models built by different tools. The related system has been applied to Huawei's vehicle control behavior modeling system, and the related papers have been published in top conferences and journals, such as DAC, ASE, EMSOFT, TSE, and TCAD.

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.