NDAK21000U Cancelled Languages and Models of Quantum Computation (LMQC)
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.
Research articles and excerpts from books, distributed electronically.
See Absalon for a list of course literature.
For a deeper introduction to quantum computations can recommend Introduction to Quantum Computing at MATH.
Contact the course organiser if you have questions.
form:
Lecture phase: lectures and exercises, the formation of project groups
Project phase: project work
- Category
- Hours
- Lectures
- 16
- Preparation
- 32
- Project work
- 151
- Guidance
- 6
- Exam
- 1
- Total
- 206
As
an exchange, guest and credit student - click here!
Continuing Education - click here!
- Credit
- 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 assesment
See learning outcome
Course information
- Language
- English
- Course code
- NDAK21000U
- Credit
- 7,5 ECTS
- Level
- Full Degree Master
- Duration
- 1 block
- Placement
- Block 1
- Schedule
- A
- Course capacity
- no limit.
The number of seats may be reduced in the late registration period
Study board
- Study Board of Mathematics and Computer Science
Contracting department
- Department of Computer Science
Contracting faculty
- Faculty of Science
Course Coordinators
- Michael Kirkedal Thomsen (m.kirkedal@di.ku.dk)