During your studies at Waikato, you'll develop an understanding of reliable processes and formal methods for software engineering. You'll learn how to use systematic techniques to test software systems. You'll develop the skills you need to be able to prove that safety-critical systems operate correctly under all possible operating conditions.

You'll work with a range of software systems, from operating systems and networks to real-time and embedded systems. You'll learn about distributed and parallel systems. You'll also develop knowledge and skills relating to engineering, scientific and business application software.

There's a strong connection between critical, complex systems and the people who use them or are affected by them. At Waikato, the relationship between systems and human interaction is emphasised.