TSIS Lab.
TSIS Lab aims to tap the potentials of students, cultivate outstanding talents, and contribute to serving the society.
Our goal: Software systems are artifacts of people and should be friends of people. Therefore, they should be as correct, secure, reliable and intelligent as possible. Compared with the upper applications, the above characteristics of the fundamental software systems for modern computing and communication are particularly important.
Professor, Doctoral Supervisor and Master Supervisor of Beijing University of Posts and Telecommunications. In 2002, he obtained Ph.D from Software Institute of Chinese Academy of Sciences. He was a winner of the Beijing Science and Technology Progress Awards (2005), an excellent graduate tutor in ISCAS (2007), and an excellent tutor of innovation and entrepreneurship in BUPT (2016). He supervised more than 70 graduate students and more than 50 undergraduate students, 3 of whom won the national graduate scholarship, 10 of whom won the honors of excellent graduates at the Beijing municipal or university level, and more than 10 of whom won the honors of national DaChuang project. His research interests include: intelligence system & reinforcement learning, and trusted software & cybersecurity.
Associate Professor, Doctoral supervisor and Master supervisor of Beijing University of Posts and Telecommunications. In 2016, she obtained a Ph.D from Software Institute of the Chinese Academy of Sciences; From 2016 to 2017, she worked as a postdoctoral fellow at Texas A&M University in the United States; From 2018 to 2019, she worked as a postdoctoral fellow at Texas State University in the United States; Since 2020, he has been a distinguished associate researcher of Beijing University of Posts and Telecommunications. Her research interests include: program analysis, trusted software, and artificial intelligence security.
doctoral student. In 2020, he obtained a master degree from China University of Petroleum (East China); His research interests include vulnerability detection and exploitabiliy analysis.
doctoral student. In 2021, he obtained a master degree from Chongqing University; His research interests include: embedded system simulation, embedded firmware vulnerability mining.
doctoral student. In 2022, he studied in the School of Computer Science, Beijing University of Posts and Telecommunications; His research interests include: black box and gray box fuzzing, symbolic execution and CSA.
doctoral student. In 2023, he obtained a master degree from Jiangsu University of Science and Technology; His research interests include: AI security.
master student. In 2023, he obtained a bachelor degree from Harbin Engineering University; Research interests include symbolic execution and fuzzing.
master student. In 2022, he obtained a bachelor degree from China University of Petroleum; Research interests include: embedded system simulation and vulnerability mining.
master student. In 2023, he obtained a bachelor degree from Jimei University; Research interests include: program analysis.
master student. In 2023, he obtained a bachelor degree from Henan University; Research interests include: system simulation, program analysis.
master student. In 2022, he obtained a bachelor degree from Yanshan University; Research interests include: system simulation, program analysis.
master student. In 2023, she obtained a bachelor degree from North China Electric Power University; her research interests include: program analysis, penetration testing.
master student. In 2023, she obtained a bachelor degree from Beijing Foreign Studies University; her research interests include system simulation and program analysis.
master student. In 2023, he obtained a bachelor degree from North China Electric Power University; Research interests include: program analysis, fuzzy testing.
master student. In 2023, he obtained a bachelor degree from Beijing University of Chemical Technology; Research interests include: real-time operating system.
master student. In 2023, he obtained a bachelor degree from Dongbei University of Finance and Economics; Research interests include: computer vision and deep learning.
master student. In 2024, he obtained a bachelor degree from Guangxi University; Research interests include: program analysis.
master student. In 2024, he obtained a bachelor degree from Guangxi University; Research interests include: program analysis.
master student. In 2024, he obtained a bachelor degree from Nankai University; Research interests include: embedded system simulation.
master student. In 2024, he obtained a bachelor degree from Northwestern Polytechnical University; Research interests include: program analysis, symbol execution
master student. In 2024, he obtained a bachelor degree from Shandong University of Science and Technology; Research interests include: program analysis.
Pan Xuejian, Master, Microsoft (USA)
Luo Yuxiang, Master, Google (USA)
Tian Shuo, PhD, GWY
Hu Xiaochang, Master, Ali
Zhou Peng, Master, Ali
Yi Qiuping, PhD, Beijing University of Posts and Telecommunications
Yang Xiaoyu, Master, CEO of start-up company
Dong Yu, Master, GWY
Gao Lei, Master, NISAC
Xu Jian, Master, Bank of Nanjing
Han Changyao, Master, Huawei
Wang Lei, Master, CTO of start-up company
Wu Dongyang, master, ShenXinFu
Li Mingyu, PhD, ISCAS
Hu Wenying, Master, Micro-Strategy Technology
Pei Xiaoxiao, Master, IBM
Liu Shirun, Master, Institute of Information Engineering, Chinese Academy of Sciences
Li Zhengyu, Master, China Merchants Bank
Zhang Yini, Master, China Merchants Bank
Yang Yuxing, Master, JD
Chen Yixiu, Master, ByteDance
Jiang Lin, Master, State Grid
An Hang, Master, 360
Zhou Yanjie, Master, QiAnxin
Hao Xiantong, Master, Xiaomi
Wei JinYi, Master, Bank of Nanjing
Guo Zihui, Master, Huawei
Li Xiangyu, Master, ICBC
