Department of Computer Science DIKU > Study programmes > M.Sc. in Computer Science > Competence profile and...
Competence profile and curriculum for Programming Languages and Systems (supplementing GCS):
Graduates with a PLS competence profile have knowledge of fundamental models of computing, their expressiveness and limitations, and how to capture them as (fundamental) programming languages. They understand both programs and whole programming languages as objects of study that can be designed, analyzed and manipulated so as to guarantee correctness, efficiency and language-based security. They know how to implement programming languages efficiently on modern computer architectures, how to express their semantics with mathematical precision, and how to operationalize logical and mathematical methods to process programs for various purposes with safe and predictable results.
Curriculum:
| Programming Languages and System |
Block 1 |
Block 2 |
Block 3 |
Block 4 |
|
Year 2 |
Elective courses, projects, stay abroad |
Elective courses, projects, stay abroad |
Master Thesis |
Master Thesis |
|
|
Elective courses, projects, stay abroad |
Elective courses, projects, stay abroad |
Master Thesis |
Master Thesis |
|
Year 1 |
Semantics and types | Computability and complexity | Advanced language processing (compilers) | Topics in programming languages |
|
|
Advanced programming |
Principles of computer system design |
Statistical methods for machine learning |
Advanced algorithms and data structures |