Yilong Yang
PI · BUAA
Intelligent Software Engineering
Principal Investigators
Juntao Gao
Co-PI · NEPU
Requirements Engineering
External Advisors
Qin Li
ECNU
Formal Methods
Tong Li
BJUT
Requirements Engineering
Wei Ke
MPI
Formal Methods
Yongxin Zhao
ECNU
Formal Methods
PhD Students
R
Runkun Zhang
BUAA
Intelligent Requirements Engineering
J
Jiaxi Xu
BUAA
Intelligent Reliability Engineering
J
Jun Wang
BUAA
Intelligent System Engineering
Q
Qizhen Li
BUAA
Intelligent Requirements Engineering
M
Muhammad Ali Khan
BUAA
Master Students
D
Daijin Hu
BUAA
Embedded Software Factory
T
Tianyi Wang
BUAA
Requirements Refinement
M
Mingyu Tang
BUAA
MBSE Framework
J
Jiashuai Qiao
BUAA
Y
YanCen Liu
BUAA
Y
Yiran Ma
NEPU
Architecture Design
N
Nianxi Tian
NEPU
AI-native Software Requirements
Y
Yaowu Yuan
X
Xinran Bu
Code Generation
Q
Qianlan Xie
Y
Yuxin Liu
L
Lei Tang
M
Maosen Ye
Code Generation
R
Renjie Tang
Revese Enginering
Alumni
H
Hongyue Pan
BUAA
Tencent
K
Kan Wang
BUAA
L
Longyan Cui
BUAA
ByteDance
M
MengMeng Zhao
BUAA
ByteDance
P
Pengfei Liu
BUAA
X
Xiaoran Wu
BUAA
S
Sizuo Liu
BUAA
W
Wenxiao Song
BUAA
Y
Yang Zhang
BUAA
CAEP
Y
Yanzhi Chen
BUAA
ABC
Z
Zhen Tian
BUAA
Huawei
Z
Zhengda Wang
BUAA
P
Peiye Yang
BUAA
Huawei
Y
Yang Li
BUAA
Xiaomi
Y
Yihui Jian
BUAA
HNCIG
Y
Yong Zhu
BUAA
Y
Yongqi Pu
BUAA
F
Fang Liu
NEPU
J
Jian Tu
NEPU
S
Shuang Chen
NEPU
S
Shuanglong Chang
NEPU
Y
Yuyu Cheng
NEPU
B
Bingjie Zeng
NEPU
Z
Zhe Liu
NEPU