The programme covers the core of computer science: how do you create efficient and correct computer programs for difficult problems?
The programme option Software, languages, logic deals with all aspects of programming in theory and practice, from system modeling and formal specifications to actual implementation using various programming languages.