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
form:
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.

Oral
Continuous feedback during the course of the semester
ECTS
7,5 ECTS
Type of assessment
Oral examination, 30 minutes
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.
Aid
All aids allowed
Marking scale
7-point grading scale
Censorship form
No external censorship
Several internal examiners
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