The master in Computer Science (Software Languages - Software Engineering) prepares you for an active role in computer science research and development, in academia as well as in the ICT industry. In addition to a meticulously designed core program complemented by state-of-the-art specializations, the curriculum offers a wide range of electives, allowing you to tailor your education to your particular interests.
The master in Computer Science (Software Languages - Software Engineering) covers the programming languages, development tools, and abstraction and composition mechanisms that are needed to build large-scale applications.
We offer courses ranging from theoretical foundations (e.g., type theory in Haskell, formal proofs in Agda), programming language paradigms (e.g., multicore and distributed programming in Clojure and Scala), and implementation techniques (e.g., compilers and virtual machines), to advanced software engineering topics (e.g., security, quality assurance, metaprogramming).