Various topics in Quantum Software Engineering

This thesis topic focuses on the methods to develop and test quantum programs.
Master

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

 

 

Contact person