WSE Laboratory

Software Engineering
Elevated

We advance SE with insight-driven design to build software that redefines what’s possible.

About Our Lab

WSELab pioneers advancements in classical and quantum software engineering by integrating cutting-edge techniques—including AI, large language models (LLMs), and evolutionary computing—across every stage of software development.

Uncertainty-aware SE

Integrating uncertainty modeling, quantification and mitigation across the software lifecycle—modeling, testing, and evolution—to enable resilient software systems that thrive in dynamic environments.

Quantum SE

Developing principles, methodologies, and tools to design, implement, test, and optimize software for quantum and hybrid quantum-classical systems.

Model-based SE

Utilizing precise digital models to enhance efficiency, consistency, and automation in software system development.


Intelligent Software Testing

Harnessing advanced AI techniques to streamline testing processes, ensuring robust quality and adaptive performance across diverse software landscapes.

Optimization in SE

Applying both classical and quantum optimization techniques to enhance software performance, efficiency, and decision-making in complex engineering problems.

Our Research

Explore our key research areas where we're making significant contributions.

ModelCopilot

Transforming models—spanning prior knowledge systems, machine learning frameworks, and more—into dynamic, context-aware collaborators.

Learn More

Uncertainty-wise methodologies for CPS

Developing a series of novel methodologies for understanding, specifying, modeling, evolving and testing uncertainties of Cyber-Physical Systems (CPSs).

ADS

Generating and executing test case specifications dynamically, through continuous interaction with the autonomous driving system and its environment.

Learn More

Our Team

Meet the researchers and students who make our work possible.

Dr. Tao Yue

Dr. Tao Yue

Full Professor

Builts years of experience in SE research, tackling complex challenges and developing practical solutions.

Dr. Man Zhang

Dr. Man Zhang

Associate Professor

Specializes in software testing for complex software/system with a focus on AI-based techniques.

Yunyang Li

Yunyang Li

PhD. Student

Participated in ModelCopilot's backend development, focusing on model syntax parsing and semantic validation.

Haoyang Li

Haoyang Li

M.Eng. Student

Focused on automated model generation and validation techniques.

Zhetao Sun

Zhetao Sun

M.Eng. Student

Participated in ModelCopilot's backend development, focusing on model syntax parsing and semantic validation.

Xijun Liu

Xijun Liu

M.Eng. Student

Participated in ModelCopilot's backend development, focusing on model syntax parsing and semantic validation.

Pengcheng Hao

Pengcheng Hao

M.Eng. Student

Participated in ModelCopilot's backend development, focusing on model visualization.

Yuhan Yang

Yuhan Yang

M.Eng. Student

Participated in ModelCopilot's backend development, focusing on model visualization.

Peiru Li

Peiru Li

M.Eng. Student

Participated in ModelCopilot's frontend development, focusing on UI design and interface layout.

Jiarong Dong

Jiarong Dong

M.Eng. Student

Participated in ModelCopilot's frontend development, focusing on UI design and interface layout.

Yige Yang

Yige Yang

B.Eng. Student

Participated in ModelCopilot's backend development, focusing on model syntax parsing and semantic validation.

Mengkun Liu

Mengkun Liu

B.Eng. Student

Hongjie Xie

Hongjie Xie

B.Eng. Student

Fengxu Gu

Fengxu Gu

B.Eng. Student

Jiayi Yan

Jiayi Yan

B.Eng. Student

Chongyang Shen

Chongyang Shen

B.Eng. Student

Haoyan Wang

Haoyan Wang

B.Eng. Student

Contact Us

Interested in collaborating or learning more about our research? Get in touch with us.

Address

37 Xueyuan Road
Haidian District
Beijing, P.R. China, 100191

Email

Chat with us

WeChat QR Code

Follow Us