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"]