- Years2 years
- ECTS credits120
Objectives and content
It is a degree in theoretical computer science, which emphasizes the fundamental principles and methods underlying construction and analysis of complex software systems.
The objective is to educate candidates with knowledge of mathematical models underlying modern programming languages, tools and systems.
Logic at the Department of Informatics is part of the research group Programming Theory (PUT). Traditionally, logic is the study of reasoning, and one can pursue study of pure logic in this programme. As part of Programming Theory, it is also natural to consider reasoning about programs, with special focus on correctness, broadly understood, as distinct from algorithmic efficiency. This can involve typing systems, functional paradigm, category theory, reasoning about data bases, or many other aspects of logic in computer science.
What you Learn
- knows mathematical methods used for defining, analyzing and developing modern programming languages as well as programming and modelling tools.
- is able to apply logic and mathematical models to formalize various aspects of programs and development process.
- can use mathematical tools, including logic and category theory, for defining and solving specific problems, e.g., related to modelling, correctness and reliability of software
- knows strengths and limitations of different logics and mathematical models
- can understand language used in systems for automated theorem proving and can utilize such systems.
- has acquired ability for independent work and self-development
- can apply acquired knowledge and methods in new contexts
- understands scientific values like openness, precision, reliability and the difference between knowledge and opinion.
Study Period Abroad
Study period abroad
You can plan study periods abroad in consultation with your supervisor as a part of the master agreement.
How to Apply
This programme is avalible for citizens from within the European Union/EEA/EFTA.
Follow these links to find the general entry requirements and guidelines on how to apply:
- Citizens from within the European Union/EEA/EFTA (1 March)
- Nordic citizens and applicants residing in Norway (15 April)
Autumn (standard), Spring (extraordinary)
General admission criteria:
You must have obtained a first degree (bachelor's degree) of three or four years duration from an approved institution of higher education.
The applicant must have completed (possibly as part of the bachelor¿s degree) at least 80 ECTS of Mathematics and Informatics/Computer science, of these 80 ECTS, at least 40 ECTS must be in Informatics/Computer science, and at least 20 ECTS must be in Mathematics. If both INF100 and INF109 are part of the Bachelor's degree, the applicant will only get credit for INF100.
Starting autumn 2022: Mathematics like MAT101 and equivalent, does not count towards the required ECTS in mathematics.
To qualify for admission, the applicant must have an average grade of C or higher (according to the Norwegian grading system) in the major (of Mathematics and Informatics/Computer science) of the Bachelor's degree.
Additional credits in Mathematics and/or Informatics can be an advantage.
Documentation of proficiency in English is also necessary if you have an international background.
Note that the master's programme has a limited number of places.
See each programme option/specialization for more information about aims and content.
For international self-financing applicants:
The Master's Degree Programme in Informatics is not available for international applicants residing outside of the Nordic countries, the European Union/EEA and Switzerland.
Applicants who reside in Norway:
You apply online through the website soknadsweb.uib.no
Application deadline on soknadsweb.uib.no for students residing in Norway (with Norwegian ID-number):
For study start August: April 15.
For study start January: November 1.
For information about application and admission procedures, see this link: http://www.uib.no/en/matnat/54992/international-master-applicants-residing-norway