Software Engineering

Software engineering research develops principles, tools, and practices that improve the quality and reliability of modern software systems.

Our research advances automated testing, debugging, program repair, software evolution, and formal methods for verification. We also explore AI-driven software engineering, mining large-scale repositories, and building collaborative tools for developers. These innovations help address the growing complexity of software ecosystems, ensuring that systems remain dependable, maintainable, and responsive to user and organizational needs.

Close-up of a laptop showing lines of HTML code on the screen with a colorful RGB backlit keyboard glowing in green, orange, and purple hues.
Develop Reliable and Scalable Software

Earn a MS in Software Engineering and learn advanced methods in program verification, debugging, and AI-assisted development, building the expertise needed to lead software projects across industries.