Faculty
Dr. Jie Liang
Postdoc
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
Postdoc
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
Postdoc
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.
Student
Wenqian Deng
Master, intake: 2023
2019.9-2023.6 East China Normal University
Reserch Interest: Database System Security
Qi Xu
Master, intake: 2023
2019.9-2023.6 Nanjing University
Reserch Interest: Industrial Control Protocol Security
Zongkang Ding
Master, intake: 2024
2020.9-2024.6 Sichuan University
Reserch Interest: Industrial Control Protocol Security
Yujue Wang
Master, intake: 2024
2020.9-2024.6 Southeast University
Reserch Interest: Industrial Control Protocol Security
Zhen Yan
Master, intake: 2024
2020.9-2024.6 Beihang University
Reserch Interest: Blockchain System Security
Yifei Chu
Master, intake: 2024
2020.9-2024.6 Northwestern Polytechnical University
Reserch Interest: OS Kernel Security
Zhensheng Xian
Master, intake: 2024
2020.9-2024.6 Beijing University of Posts and Telecommunications
Reserch Interest: Cryptographic Library Security
Research Assistant
Yanting Xu
2018.9-2022.6 Guizhou University
Reseach Affairs Assistant
Alumni
Huafeng Zhang
Ph.D., intake: 2012
First Job: Huawei
Xinrui Guo
Ph.D., intake: 2012
First Job: Software Technology Center Asia, Microsoft
Han Liu
Ph.D., intake: 2012
First Job: Oxford (Hainan) Blockchain Research Institute
Tianchi Li
Master, intake: 2015
First Job: ByteDance
Xin Yang
Master, intake: 2016
First Job: Nanjing Nanrui Group Company
Chengpeng Wang
Master, intake: 2016
Ph.D: HKUST
Zhiqiang Yang
Master, intake: 2016
First Job: Oxford (Hainan) Blockchain Research Institute
Qian Ren
Master, intake: 2016
First Job: Oxford (Hainan) Blockchain Research Institute
Cong Wang
Ph.D, intake: 2015
First Job: ByteDance
Heyuan Shi
Ph.D, intake: 2015
First Job: Central South University
Ying Fu
Master, intake: 2017
Ph.D. : NUDT
Yue Zhao
Master, intake: 2017
First Job: Huawei
Jingwen Chi
Master, intake: 2017
First Job: Perfect World Co., Ltd
Jian Gao
Ph.D., intake: 2016
First Job: Huawei
Yixiao Yang
Post-doc
First Job: Capital Normal University
Feilong Zuo
Master, intake: 2019
First Job: Tencent
Zijing Yin
Master, intake: 2020
Ph.D.:ETH
Yiwen Xu
Master, intake: 2020
First job:Aliyun
Hao Sun
Master, intake: 2020
Ph.D.:ETH
Yiru Xu
Master, intake: 2021
First job: Tencent