Master of Science in Software Engineering

Software Engineering: Software Development Processes, Requirements Engineering, Project Management, Testing, Model-Based Development, Embedded Systems

Formal Methods: Formal Specification and Verification Techniques, Programme Correctness

Databases: Relational Databases, Database Implementation, Web-Scale Databases, Data Engineering

Distributed Systems: Software Engineering for Distributed Systems, Semantic Web, Service-Based Architectures

Human-Computer Interaction: User Interface Design, Usability Engineering, Context-Aware Systems

AI-Based Systems: Machine Learning, Data Science, Self-Organisation and Adaptivity