Program Summary

Real-world software systems, such as massively parallel Internet applications and mission-critical avionics control systems, require robust and provably correct software architecture design. Our Software Engineering program goes beyond teaching simple programming, and instead focuses on modern software engineering principles, tools, and analysis techniques for the design of large and complex software systems.