Keystone logo
Aarhus University MSc in Informatik - Spezialisierung in Logik, Semantik und Verifikation
Aarhus University

MSc in Informatik - Spezialisierung in Logik, Semantik und Verifikation

Aarhus, Dänemark

4 Semesters

Englisch

Vollzeit

Request application deadline

Aug 2025

EUR 15.300 / per year *

Auf dem Campus

* for non-EU/EEA students

Einführung

Specializations in Computer Science

The master’s programme runs over two years with four semesters. Three semesters are dedicated to specialisations or electives. The last semester is for your master’s thesis, which some choose to write in collaboration with a company. Once enrolled, our programme manager will help you complete your master’s programme based on your interests.

Specialization

  • Two 30 ECTS specializations

Elective

  • The recommendation is a 3rd specialization.
  • A small number of elective courses in computer science are offered in addition to specializations. Project work (partly) is also a possibility.
  • Elective courses may be supportive rather than core computer science, e.g. extra mathematics courses.
  • There may be requirements for the composition of the study program in connection with possible admission.
  • In this case, mandatory courses replace elective courses (partly).

Thesis

  • Written within the area of specialization 1 or 2.

Spezialisierung Logik, Semantik und Verifikation*

1. Semester (Herbst): Formale Softwareverifikation (10 ECTS)
2. Semester (Frühjahr): Algorithmisches Model Checking (10 ECTS)
3. Semester (Herbst): Programmlogik (10 ECTS)

*Semesters are independent – and can be taken in any order

Admissions

Studiengebühren für das Programm

Über die Schule

Fragen