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.