School of Software-北京航空航天大学国际学院

Overview

Introduction of School of Software

The School of Software at Beihang University (BUAA) is among the initial 37 national pilot software engineering institutions authorized by the Ministry of Education and the State Development Planning Commission in 2002 and was selected as part of the inaugural group of specialized pilot software engineering schools in 2021. Our objective is to establish a world-class discipline in software engineering and to meet national requirements for implementing large-scale, safety-critical industrial systems. Through collaboration with leading universities, research institutions, and corporations, our focus is on cultivating exceptional software engineers who demonstrate a strong commitment to innovation, responsibility, and a global perspective in the fields of aeronautics and astronautics.

Our university is among the earliest in China to prioritize research in software engineering. In 2017, our school received a first-level “A+” rating in the nationwide discipline assessment. Currently, the software discipline at our university is guided by five eminent scholars of the Chinese Academy of Sciences. We host five premier national research centers, including the State Key Laboratory of Software Development Environment (SKLSDE), the International Joint Research Center of Big Data Science and Engineering, and the Trustworthy Networked Software Development and Operation Environment. Our university has established distinctive research directions encompassing software and theoretical frameworks for complex critical systems, big data science and computing systems, collective intelligence and collective software engineering, intelligent software engineering, safety-critical software and systems, as well as advanced methodologies and environments for industrial software development.

Majors

The admission programs of MSc. and PhD. Degrees are both associated with software engineering. The programs encompass several research directions: a) advanced industrial software engineering, b) safe-critical and dependable software engineering, c) computing systems and system software, and d) intelligent software engineering:

Advanced Industrial Software Engineering

This research field focuses on large-scale industrial software development and operation, intelligent industrial software development, and service evolution. The program aims to enhance students’ development skills and research capabilities, thereby improving the efficiency and quality of industrial software production.

Safe-Critical and Dependable Software Engineering

This research field focuses on key techniques for modeling, developing, verifying, and testing large-scale safety-critical systems, particularly in the realms of aircraft and spacecraft. It also focuses on improving non-intrusive simulation and verification technologies based on hardware and software, while effectively addressing the performance and efficiency bottlenecks faced by software development and quality assurance.

Systems and System Software

This research field focuses on hardware and software design, distributed and parallel systems, optimization technologies of operating systems, security enhancement methods, and technologies based on formal methods. It also focuses on large-scale distributed systems, including cloud computing, model training and inference, real-time systems, and robot operating systems for industrial robots.

Intelligent Software Engineering

This research field focuses on ensuring the efficiency and quality assurance of software and intelligent systems. This research field focuses on the basic theory of swarm intelligence, software big data acquisition and analysis, intelligent system construction and testing, software supply chain security, and ecological construction. The graduate students would be able to develop big data-driven intelligent development tools and systems to support the independent application.

Faculty

Name	Email	Discipline	Research Focus	Profile Link
孙海龙 SUN Hailong	sunhl@buaa.edu.cn	Software Engineering	Group Intelligence, Intelligent Software Engineering, Open Source Software and Distributed Systems	https://hsun2022.github.io/
胡峻林 HU Junlin	hujunlin@buaa.edu.cn	Software Engineering	Computer Vision and Pattern Recognition	https://soft.buaa.edu.cn/teachershouw.jsp?wbtreeid=1262&wbnewsid=9642
刘子鹏 LIU Zipeng	zipeng@buaa.edu.cn	Software Engineering	Visualization, Human-Computer Interaction, Artificial Intelligence	https://soft.buaa.edu.cn/teachershouw.jsp?urltype=news.NewsContentUrl&wbtreeid=1330&wbnewsid=9839
王宝会 WANG Baohui	wangbh@buaa.edu.cn	Software Engineering	Artificial Intelligence, Big Data, Unmanned Aerial Vehicles	https://soft.buaa.edu.cn/teachershouw.jsp?urltype=news.NewsContentUrl&wbtreeid=1224&wbnewsid=9787
杨溢龙 YANG Yilong	yilongyang@buaa.edu.cn	Software Engineering, Electronic Information	Intelligent Software Engineering, Systems Engineering	http://ai4se.com
殷永峰 YIN Yongfeng	yyf@buaa.edu.cn	Software Engineering	Software Security, Intelligent Software Engineering	https://shi.buaa.edu.cn/yinyongfeng/zh_CN/index.htm
石琳 SHI Lin	shilin@buaa.edu.cn	Software Engineering	Intelligent Software Engineering, Large Model Security, Open Source Software	https://soft.buaa.edu.cn/teachershouw.jsp?urltype=news.NewsContentUrl&wbtreeid=1224&wbnewsid=10365