Specialisation Course in Semantics and Verification


Content, progress and pedagogy of the module

Learning objectives


The student should achieve in-depth insight into key issues in contemporary research in semantics and verification.


Based on a scientific article in the course's central themes, the student should be able to:

  • give a clear and understandable presentation of the article's key elements, including its premises, issue(s), theory, methods, results and conclusions
  • explain relevant theories, methods and arguments presented in the article


Based on a scientific article in the course's central themes, the student should be able to:

  • relate the theories, methods and results presented in the article to the course topics
  • assess the proposed solutions, results and/or conclusions of the article as well as assess their qualities and practicality and put them into perspective.

Type of instruction

The type of instruction is organised in accordance with the general instruction methods of the programme, cf. § 17.

Extent and expected workload

It is expected that the student uses 30 hours per ECTS, which for this activity means 150 hours



Name of examSpecialisation Course in Semantics and Verification
Type of exam
Oral exam
Individual oral exam of 45-minutes. The examiner is given a task which is handed out 7 days prior to the examination
Assessment7-point grading scale
Type of gradingExternal examination
Criteria of assessmentThe criteria of assessment are stated in the Examination Policies and Procedures

Additional information

Contact: The Study board for Computer Science at cs-sn@cs.aau.dk or 9940 8854

Facts about the module

Danish titleSpecialiseringskursus i semantik og verifikation
Module codeDSNDATFK315
Module typeCourse
Duration1 semester
Language of instructionDanish and English
Empty-place SchemeYes
Location of the lectureCampus Aalborg
Responsible for the module


Education ownerMaster of Science (MSc) in Computer Science
Study BoardStudy Board of Computer Science
DepartmentDepartment of Computer Science
FacultyThe Technical Faculty of IT and Design