Cancelled Languages and Models of Quantum Computation (LMQC)

Course content

The notion of a quantum programming language as we computer scientists understand programming languages is not yet settled on. This creates a unique opportunity for research and understanding of some fundamentally different paradigms. This course gives the state-of-the-art research and applications on computational models and programming languages within quantum computations. This involves theory, design, and/or application. It acquaints students with performing independent research and its communication in the form of a project.

The course will introduce the fundamentals of quantum computation, such as the quantum logic-gates, Dirac notation, the basic notion of super positions, simple quantum algorithms, and languages describing these. It will also relate to other computation models such as probabilistic and reversible computing.

Following this a particular set of topics reflecting state-of-the-art research will be presented. This includes (but is not limited to) game semantics and denotational semantics for general quantum programming languages.

The course will end with students making mini projects in groups (2-4 persons) that may consist of theoretical investigation, software construction or a combination of these.

Learning outcome

Knowledge of

  • The fundamental aspects of quantum computation.
  • Quantum computation relating to other computation models.
  • Principles programming language design in the area.
  • Game semantics and denotational semantics as applied to quantum computing.


Skills to

  • Discuss properties such as correctness, performance and define what they mean precisely in the specific topics under study.
  • Specify ideas and concepts as rigorous definitions and make falsifiable (or provable) statements about them.
  • Read, assess and communicate research papers.
  • Apply central results in the given area of studies.


Competences to

  • Read, assess and communicate research papers in the area
  • Apply central results in the given area of studies.


The course progresses from teaching (lecture) to finally supervised project
Lecture phase: lectures and exercises, the formation of project groups
Project phase: project work

Research articles and excerpts from books, distributed electronically.

See Absalon for a list of course literature.

Courses such as Semantics and Types (SaT), Computability and Complexity (CoCo), and Logic in Computer Science (LiCS) are recommended, but not required.
For a deeper introduction to quantum computations can recommend Introduction to Quantum Computing at MATH.
Contact the course organiser if you have questions.

Continuous feedback during the course of the semester
7,5 ECTS
Type of assessment
Oral examination, 30 minutes
Type of assessment details
Individual oral examination without preparation.

Format: An individual presentation of select parts of group report followed by individual examination in the course topics (see topics and learning objectives) with special emphasis on the subject of the written report the student has co-authored.
Exam registration requirements

Submission of group report.

All aids allowed
Marking scale
7-point grading scale
Censorship form
No external censorship
Several internal examiners

A 30 minutes individual oral examination without preparation, based on submitted report and course topics (see topics and learning objectives).

If a student is not qualified then qualification can be achieved by submission/re-submission of an individual project report no later than three weeks before the re-exam.

Criteria for exam assessment

See learning outcome

Single subject courses (day)

  • Category
  • Hours
  • Lectures
  • 16
  • Preparation
  • 32
  • Project work
  • 151
  • Guidance
  • 6
  • Exam
  • 1
  • English
  • 206


Course number
7,5 ECTS
Programme level
Full Degree Master

1 block

Block 1
no limit.
The number of seats may be reduced in the late registration period
Study Board of Mathematics and Computer Science
Contracting department
  • Department of Computer Science
Contracting faculty
  • Faculty of Science
Course Coordinator
  • Michael Kirkedal Thomsen   (10-763774727b746e6d6a75496d7237747e376d74)
Saved on the 15-05-2023

Are you BA- or KA-student?

Are you bachelor- or kandidat-student, then find the course in the course catalog for students:

Courseinformation of students