About AI4SE Lab

Research, tools, and people working on intelligent model-driven engineering.

Background

From RM2PT to AI4SE Lab

RM2PT was originally developed by A/Prof. Yilong Yang during his Ph.D. study at the University of Macau and UNU-IIST with Prof. Xiaoshan Li and Prof. Zhiming Liu. It is now continuously developed and maintained by his group at the School of Software and the Software Engineering Institute of Beihang University.

The platform and its surrounding research have expanded from requirements modeling and validation toward system design, architecture modeling, code generation, formal contracts, and AI-enhanced software engineering.

Principal Investigators

PhD Students

Runkun Zhang

Runkun Zhang

BUAA

Intelligent Requirements Engineering

KHAN MUHAMMAD ALI

KHAN MUHAMMAD ALI

BUAA

Intelligent Software Engineering

Qizhen Li

Qizhen Li

BUAA

Intelligent Requirements Engineering

Qingwen Guan

Qingwen Guan

BUAA

AI-based software engineering

Jiaxi Xu

Jiaxi Xu

BUAA

Intelligent Reliability Engineering

Jun Wang

Jun Wang

BUAA

Intelligent Systems Engineering

Master Students

Daijin Hu

Daijin Hu

BUAA

Intelligent Systems Engineering

Jiashuai Qiao

Jiashuai Qiao

BUAA

Intelligent Formal Methods

Maosen Ye

Maosen Ye

BUAA

Intelligent HarmonyOS Development

Mingyu Tang

Mingyu Tang

BUAA

Intelligent Model-Driven

Xinran Bu

Xinran Bu

BUAA

Intelligent Software Engineering

Yaowu Yuan

Yaowu Yuan

BUAA

Intelligent Software Engineering

Renjie Tang

Renjie Tang

BUAA

Intelligent Software Engineering

Yingyi Zhang

Yingyi Zhang

BUAA

Intelligent Manufacturing

Lei Tang

Lei Tang

BUAA

Systems Engineering

Tianyi Wang

Tianyi Wang

BUAA

Intelligent Requirements Engineering

Yancen Liu

Yancen Liu

BUAA

Intelligent Pharmaceutics

Qianlan Xie

Qianlan Xie

BUAA

Intelligent Government

Yuxin Li

Yuxin Li

BUAA

Intelligent Manufacturing

Alumni

  • Ghazi Al-OtaibiQatarDegree: Master StudentGraduation year: 2026
  • Hongyue PanTencentDegree: Master StudentGraduation year: 2026
  • Kai WangChina Unicom Digital Technology Co., Ltd.Degree: Master StudentGraduation year: 2026
  • Longyan CuiByteDanceDegree: Master StudentGraduation year: 2026
  • Mansoor AlkhaldiQatarDegree: Master StudentGraduation year: 2026
  • MengMeng ZhaoByteDanceDegree: Master StudentGraduation year: 2026
  • Pengfei LiuResearch Institute of China Electronics CorporationDegree: Master StudentGraduation year: 2026
  • Thani AlhazzaQatarDegree: Master StudentGraduation year: 2026
  • Xiaoran WuState Key Laboratory of Intelligent Green Vehicle and MobilityDegree: Master StudentGraduation year: 2026
  • Sizuo LiuSingaporeDegree: Master StudentGraduation year: 2025
  • Wenxiao SongBeijing Institute of Space Long March Vehicles (CALT affiliate)Degree: Master StudentGraduation year: 2025
  • Yang ZhangChina Academy of Engineering Physics (CAEP)Degree: Master StudentGraduation year: 2025
  • Yanzhi ChenAgricultural Bank of China (ABC)Degree: Master StudentGraduation year: 2025
  • Zhen TianHuaweiDegree: Master StudentGraduation year: 2025
  • Zhengda WangAgricultural Development Bank of ChinaDegree: Master StudentGraduation year: 2025
  • Peiye YangHUAWEIDegree: Master StudentGraduation year: 2024
  • Yang LiXiaomiDegree: Master StudentGraduation year: 2024
  • Yihui JianHunan Construction Investment Transportation Construction Co., Ltd.Degree: Master StudentGraduation year: 2024
  • Yong ZhuBOE Technology Group Co., Ltd. (BOE)Degree: Master StudentGraduation year: 2024
  • Yongqi PuSouth KoreaDegree: Master StudentGraduation year: 2024

Get in touch

Contact

For research collaboration, software development, and training enquiries.

Yilong Yang 杨溢龙, Ph.D.

Associate Professor in Software Engineering

School of Software, Beihang University

Office

New Main Building C806

37 Xueyuan Road, Haidian District

Beijing 100191, China