Dr. Yu Jiang is an associate professor in the School of Software, Tsinghua University, Beijing, China. He received his B.S. degree in software engineering from the Beijing University of Post and Telecommunication, China, in 2010.09. He got his Ph.D. degree in computer science from Tsinghua University in 2015.01. He was a postdoc researcher at the University of Illinois at Urbana-Champaign, IL, USA, between 2015.04--2016.08. Research Interests: Software Engineering and Cyber-Physical System, mainly focusing on security analysis of the big data program, AI program, quantum program, etc. Honors and Awards: China Computer Federation (CCF) Distinguished Dissertation Award, Microsoft Research Asia StarTrack Program, Young Elite Scientists Sponsorship Program by the China Association for Science and Technology, National Science Fund for Excellent Young Scholars, DAMO Academy Young Fellow, etc.

Dr. Fuchen Ma is currently conducting postdoctoral research at Tsinghua University. He received his Bachelor's degree in Software Engineering from Beijing University of Posts and Telecommunications in June 2019 and his Ph.D. in Software Engineering from Tsinghua University in June 2024. In the same year, he joined as a postdoctoral researcher and was awarded the "Shuimu Scholar" by Tsinghua University, and was selected for the Chinese Institute of Electronics Doctoral Dissertation Incentive Program. His main research focus is on system vulnerability mining based on fuzz testing, with particular emphasis on security testing and analysis of fundamental software such as blockchain systems, distributed systems, and network communication protocols. He has discovered over 50 high-risk vulnerabilities in the consensus protocols of commonly used blockchain platforms such as FISCO BCOS and Ethereum. He was selected as a Tencent Rhino Bird Elite Talent and received the 2021 FISCO BCOS Community Annual MVP award. His research findings have been published in top conferences and journals including USENIX Security, CCS, NDSS, TSE, and TOSEM.

Dr. Chi Zhang is currently conducting postdoctoral research at Tsinghua University. He received his Bachelor's degrees in Computer Science and Technology and Financial Engineering from Sichuan University in June 2018, and his Ph.D. in Computer Science and Technology from Nanjing University in March 2025. During his doctoral studies, his main research direction was software system defect detection technology, with a focus on fuzz testing techniques for embedded device firmware and database systems, as well as machine learning-based defect prediction technology. His testing work on database systems has led to the discovery of over 75 defects in widely used systems such as MySQL and SQLite. His research findings have been published in top conferences including OOPSLA and SIGMOD. In April 2025, he began his postdoctoral position, primarily focusing on database system testing.

Yuheng Shen is currently conducting postdoctoral research at Tsinghua University. He received his Ph.D. in Software Engineering from Tsinghua University in June 2025 and began his postdoctoral fellowship in the same year, during which he was awarded the prestigious "Shuimu Scholar" title by Tsinghua University. His research focuses on operating systems fuzzing, with an emphasis on general-purpose operating systems, embedded operating systems, and robot operating systems. He has discovered over 60 high-risk vulnerabilities in widely used operating systems such as Linux and NuttX, and his related achievements have been published in top-tier conferences and journals including ISSTA, TCAD, RTSS, and EMSOFT.

Yan Ming is currently a postdoctoral researcher at Tsinghua University. He received his B.E. degree in Software Engineering from Tianjin University in June 2018, his M.E. degree in Software Engineering from Tianjin University in June 2021, and his Ph.D. degree in Software Engineering from Tianjin University in June 2025. During his doctoral studies, his research focused on intelligent software testing, with particular emphasis on testing foundational software systems such as deep learning frameworks and chip design programs. His work has been published in leading venues including FSE, ICSE, TOSEM, and TSE. He has identified over 100 software bugs in widely used open-source deep learning frameworks, including TensorFlow, PyTorch, and MindSpore. He received one ACM Distinguished Paper Award and one Distinguished Paper Award nomination. He joined Tsinghua University as a postdoctoral researcher in January 2026, where he primarily conducts research on fuzz testing for chip design systems.