The programme covers the core of computer science: how do you create efficient and correct computer programs for difficult problems?
The programme offers specialisations for you to choose:
- Software deals with all aspects of programming in theory and practice, from system modeling and formal specifications to actual implementation using various programming languages.
- Distributed systems focuses on utilizing networks, from concurrent processes inside a computer to world-wide cooperating systems using the Internet.
- Logic uses computers to solve difficult problems such as automatic reasoning about languages or very large amounts of data.
- Information security deals with how information systems can withstand - and deal with both accidental mishaps and intentional attacks.
The master's programme consists of course work and thesis. The courses are selected in consultation with your supervisor. The thesis is normally performed at the Department of Informatics, but you also have the opportunity to perform it somewhere else, eg. at a research institution or in a business.