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.
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.
- ECTS
- 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.
- Aid
- All aids allowed
- Marking scale
- 7-point grading scale
- Censorship form
- No external censorship
Several internal examiners
- Re-exam
-
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
Kursusinformation
- Language
- English
- Course number
- NDAK21000U
- ECTS
- 7,5 ECTS
- Programme level
- Full Degree Master
- Duration
-
1 block
- Placement
- Block 1
- Schedulegroup
-
A
- Capacity
- no limit.
The number of seats may be reduced in the late registration period - Studyboard
- Study Board of Mathematics and Computer Science
Contracting department
- Department of Computer Science
Contracting faculty
- Faculty of Science
Course Coordinator
- Michael Kirkedal Thomsen (10-753673717a736d6c6974486c7136737d366c73)
Are you BA- or KA-student?
Courseinformation of students