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.
The goal is to learn how to engineering quantum programs.
Basic programming skills in C#, Python, etc are necessary.
Nanjing University of Aeronautics and Astronautics, China
Faculty of Engineering of University of Porto, Portugal
- Shaukat Ali
- Tao Yue
- Rue Abreu, Faculty of Engineering of University of Porto, Portugal
- Nanjing University of Aeronautics and Astronautics, China
- Faculty of Engineering of University of Porto, Portugal