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.

Learning outcome

Basic programming skills in C#, Python, etc are necessary.

Qualifications

Nanjing University of Aeronautics and Astronautics, China
Faculty of Engineering of University of Porto, Portugal

Supervisors

  • Shaukat Ali
  • Tao Yue
  • Rue Abreu, Faculty of Engineering of University of Porto, Portugal

Collaboration partners

  • Nanjing University of Aeronautics and Astronautics, China
  • Faculty of Engineering of University of Porto, Portugal

Contact person