Various topics in Quantum Software Engineering
Quantum computing (QC) promises to revolutionize the present form of computing by solving complex problems that traditional computers would never crack. The rising number of QC platforms also reflects QC's potential to solve highly complex safety and mission-critical problems. However, new software engineering methods are needed to design, develop, test, and debug Quantum programs. In general, the following topics are available:
Topic 1: Requirements Engineering for Quantum Software
This project focuses on developing new methods for quantum software requirements engineering.
Topic 2: Modeling Quantum Programs
This project focuses on developing a domain-specific language to model quantum programs and building code generator in various quantum programming languages such as Q# and QisKit.
Topic 3: Developing Quantum Programs
This project focuses on developing new programming abstractions implemented as APIs for efficiently coding quantum programs.
Topic 4: Quantum Program Testing
This topic focuses on developing automated testing methods for quantum programs to find faults.
Topic 5: Quantum Program Debugging
This topic focuses on developing automated programming debugging methods for quantum programs.
Goal
The goal is to learn how to engineering quantum programs.
Qualifications
Basic programming skills in C#, Python, etc are necessary.
Supervisors
- Shaukat Ali
- Tao Yue